Some observations on the substructure lattice of a _1 ultrapower

DOI10.1002/MALQ.200810052MaRDI QIDQ3566950zbMATH OpenOpenAlexFDO

Authors Thomas G. McLaughlin

Publication date 10 June 2010

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200810052

zbMATH Keywords

embeddabilityrealizabilitysubstructure lattice\(\Delta_1\) ultrapower\(\Pi_2\) true arithmetic

Mathematics Subject Classification ID

Properties of classes of models (03C52) Ultraproducts and related constructions (03C20) Models of arithmetic and set theory (03C62)

Recommendations

• Sub-arithmetical ultrapowers: A survey
• \(\Delta_{1}\) ultrapowers are totally rigid
• scientific article; zbMATH DE number 2144533
• scientific article; zbMATH DE number 4210207
• scientific article; zbMATH DE number 3914310

Cites work

• Forcing, arithmetic, division rings
• Models and types of Peano's arithmetic
• Models of arithmetic and recursive functions
• Sub-arithmetical ultrapowers: A survey
• Substructure lattices of models of arithmetic

Cited in

(2)

• R.e. Prime powers and total rigidity
• \(\Delta_{1}\) ultrapowers are totally rigid

This page was built for publication: Some observations on the substructure lattice of a \(\Delta_1\) ultrapower

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