Scott incomplete Boolean ultrapowers of the real line

DOI10.2307/2275513zbMATH Open0819.03050OpenAlexW2122801069MaRDI QIDQ4836047FDOQ4836047

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

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

zbMATH Keywords

forcingcomplete Boolean algebraBoolean ultrapowerScott completenessnonstandard real lines

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Interval chains and completeness in ultrapowers of ordered sets
• Quantum set theory: transfer principle and De Morgan's laws
• Standardization principle of nonstandard universes
• Title not available (Why is that?)

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)