On external Scott algebras in nonstandard models of Peano arithmetic

DOI10.2307/2275677zbMath0859.03034OpenAlexW1986737842MaRDI QIDQ4894728

Kanovei, Vladimir

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 setsstandardness predicateScott algebra

Mathematics Subject Classification ID

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

Related Items (1)

INTERPRETATIONS BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC

Cites Work

• THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY
• Unnamed Item

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