Some observations on the substructure lattice of a _1 ultrapower

DOI10.1002/MALQ.200810052zbMATH Open1203.03046OpenAlexW2056947908MaRDI QIDQ3566950FDOQ3566950

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

Recommendations

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

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)

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)

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

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)