Forcing in nonstandard analysis

DOI10.1016/0168-0072(94)90023-XzbMath0812.03041MaRDI QIDQ1331917

Masanao Ozawa

Publication date: 29 August 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

nonstandard analysisLoeb measureBoolean ultrapowersuperstructureScott completeBoolean- valued model of set theorygeneric extension of the hyperreal numbershull completeness theoremnonstandard universe

Mathematics Subject Classification ID

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