Scott incomplete Boolean ultrapowers of the real line

DOI10.2307/2275513zbMath0819.03050OpenAlexW2122801069MaRDI QIDQ4836047

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)

Related Items (2)

Quantum set theory: transfer principle and De Morgan's laws ⋮ Standardization principle of nonstandard universes

Cites Work

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

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