Scott incomplete Boolean ultrapowers of the real line

DOI10.2307/2275513MaRDI QIDQ4836047zbMATH OpenOpenAlexFDO

Authors Masanao Ozawa

Publication date 8 June 1995

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275513

zbMATH Keywords

forcingcomplete Boolean algebraBoolean ultrapowerScott completenessnonstandard real lines

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonstandard models in mathematics (03H05)

Recommendations

• scientific article; zbMATH DE number 2033392
• scientific article; zbMATH DE number 3963818
• Complete Boolean ultraproducts
• Forcing in nonstandard analysis
• Boolean powers over incomplete boolean algebras

Cites work

• Forcing in nonstandard analysis
• Models of Peano arithmetic and a question of Sikorski on ordered fields
• Non-standard analysis
• The theory of Boolean ultrapowers

Cited in

(5)

• Standardization principle of nonstandard universes
• Proper cuts in \(^*R\)
• Interval chains and completeness in ultrapowers of ordered sets
• Quantum set theory: transfer principle and De Morgan's laws
• scientific article; zbMATH DE number 2033392 (Why is no real title available?)

This page was built for publication: Scott incomplete Boolean ultrapowers of the real line

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4836047)