Scott's problem for Proper Scott sets

DOI10.2178/JSL/1230396751MaRDI QIDQ3617365zbMATH OpenOpenAlexFDO

Authors Victoria Gitman

Publication date 23 March 2009

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

Full work available at URL https://arxiv.org/abs/0801.4364

zbMATH Keywords

minimal cofinal extensionsProper Forcing AxiomScott set problemScott sets

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Other set-theoretic hypotheses and axioms (03E65)

Abstract: I show that assuming PFA, every proper Scott set is the standard system of a model of PA. A Scott set X is proper if it is arithmetically closed and the quotient Boolean algebra X/Fin is a proper partial order.

Recommendations

• A note on standard systems and ultrafilters
• Proper and piecewise proper families of reals
• A standard model of Peano arithmetic with no conservative elementary extension
• Bounded Scott Set Saturation
• On external Scott algebras in nonstandard models of Peano arithmetic

Cites work

• Chains of end elementary extensions of models of set theory
• Forcing axioms and stationary sets
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Models and types of Peano's arithmetic

Cited in

(9)

• Vive la différence. II: The Ax-Kochen isomorphism theorem
• Proper and piecewise proper families of reals
• Kleene, Rabin, and Scott Are Available
• A note on standard systems and ultrafilters
• scientific article; zbMATH DE number 4033714 (Why is no real title available?)
• On external Scott algebras in nonstandard models of Peano arithmetic
• An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN
• Some notes on uncountable models of arithmetic
• A standard model of Peano arithmetic with no conservative elementary extension

This page was built for publication: Scott's problem for Proper Scott sets

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