EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC

DOI10.1017/JSL.2015.36zbMath1345.03071OpenAlexW2354942150MaRDI QIDQ3188343

Zofia Adamowicz, F. F. Lara-Martín, Andrés Cordón-Franco

Publication date: 19 August 2016

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

Full work available at URL: https://idus.us.es/handle//11441/87543

zbMATH Keywords

fragments of Peano arithmeticexistentially closed modelsTuring degrees of theories

Mathematics Subject Classification ID

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

Related Items (3)

Restricted polynomial induction versus ordinary induction ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ The small‐is‐very‐small principle

Cites Work

• Unnamed Item
• Unnamed Item
• On the scheme of induction for bounded arithmetic formulas
• The forcing companions of number theories
• Forcing, arithmetic, division rings
• Algebraic properties of number theories

This page was built for publication: EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC