Maximal sets and fragments of Peano arithmetic
From MaRDI portal
Publication:3812242
DOI10.1017/S0027763000001604zbMath0662.03050MaRDI QIDQ3812242
No author found.
Publication date: 1989
Published in: Nagoya Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0027763000001604
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
03D25: Recursively (computably) enumerable sets and degrees
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
Hyperhypersimple sets and \(\Delta _ 2\) systems, Σ2 Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator
Cites Work