On external Scott algebras in nonstandard models of Peano arithmetic

DOI10.2307/2275677MaRDI QIDQ4894728zbMATH OpenOpenAlexFDO

Authors Vladimir Kanovei

Publication date 7 April 1997

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

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

zbMATH Keywords

forcingmodels of arithmeticScott algebraScott setsstandardness predicate

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• Scott's problem for Proper Scott sets
• On expandability of models of Peano arithmetic. III
• Publication:4938559
• Bounded Scott Set Saturation

Cites work

• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY

Cited in

(3)

• Interpretations between -logic and second-order arithmetic
• A note on standard systems and ultrafilters
• Scott's problem for Proper Scott sets

This page was built for publication: On external Scott algebras in nonstandard models of Peano arithmetic

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