Forcing in nonstandard analysis
From MaRDI portal
Publication:1331917
DOI10.1016/0168-0072(94)90023-XzbMath0812.03041MaRDI QIDQ1331917
Publication date: 29 August 1994
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
nonstandard analysisLoeb measureBoolean ultrapowersuperstructureScott completeBoolean- valued model of set theorygeneric extension of the hyperreal numbershull completeness theoremnonstandard universe
Nonstandard models in mathematics (03H05) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (4)
Quantum set theory: transfer principle and De Morgan's laws ⋮ Scott incomplete Boolean ultrapowers of the real line ⋮ Standardization principle of nonstandard universes ⋮ Combinatorial principles in nonstandard analysis
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundations of infinitesimal stochastic analysis
- Boolean valued interpretation of Hilbert space theory
- A Boolean power and a direct product of Abelian groups
- On a Boolean power of a torsion free Abelian group
- An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis
- Boolean valued analysis and type I \(AW^*\)-algebras
- Some applications of Boolean valued set theory to abstract harmonic analysis on locally compact groups
- A classification of type I \(AW^*\)-algebras and Boolean valued analysis
- Non-standard real number systems with regular gaps
- Von Neumann algebras and Boolean valued analysis
- Model theory.
- The regular ring of a finite Baer\(^*\)-ring
- A Transfer Principle from Von Neumann Algebras to AW∗ -Algebras
- An infinitesimal approach to stochastic analysis
- Commutative regular rings and Boolean-valued fields
- Abstract Theory of Abelian Operator Algebras: An Application of Forcing
- Boolean Valued Analysis Approach to the Trace Problem of Aw∗-Algebras
- Boolean simple groups and boolean simple rings
- A transfer principle in harmonic analysis
- Nonstandard natural number systems and nonstandard models
- Boolean valued Lie algebras
- Making the hyperreal line both saturated and complete
- Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
- Two Applications of Logic to Mathematics
- Nonuniqueness of the Cardinality Attached to Homogeneous AW ∗ -Algebras
- The theory of Boolean ultrapowers
- Boolean valued interpretation of Banach space theory and module structures of von Neumann algebras
- Non-standard analysis
This page was built for publication: Forcing in nonstandard analysis
