What Is Boolean Valued Analysis?
S. S. Kutateladze
math.LOarXiv:math/0610195
Abstract
This is a brief overview of the basic techniques of Boolean valued analysis.
Create a lesson
Related papers
A counterexample to the stable forking conjecture
James Freitag, Scott Mutchnik
Every Nonrecursive Many-One Degree Contains Either One or Infinitely Many Finite-One Degrees
Patrizio Cintioli
Most properties are undecidable even in NExt Grzt
Qian Chen, Tenyo Takahashi
The Iterative Conception Reconsidered
Bokai Yao
Classification complexity of homeomorphism group actions
Michal Hevessy, Benjamin Vejnar
A Borel Concept Class of VC Dimension One with a Non-PAC Consistent Learner in ZFC
Mateus Jesus de Arruda Campos, Gabriel Fernandes, Vinicius de Oliveira Rodrigues