A note on Σ1-maximal models

DOI10.2178/JSL/1191333857zbMath1125.03028OpenAlexW1534533725MaRDI QIDQ5422319

F. F. Lara-Martín, Andrés Cordón-Franco, A. Fernández-Margarit

Publication date: 17 October 2007

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1191333857

zbMATH Keywords

fragments of arithmeticbounded collection\(\Sigma_1\) maximal models

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Cites Work

• Unnamed Item
• Unnamed Item
• Forcing, arithmetic, division rings
• Existentially closed structures and Gödel's second incompleteness theorem
• Fragments of Arithmetic and true sentences

This page was built for publication: A note on Σ₁-maximal models