Maximal sets and fragments of Peano arithmetic

DOI10.1017/S0027763000001604zbMath0662.03050OpenAlexW1516431014MaRDI 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

zbMATH Keywords

models of arithmeticmaximal setsPeano arithmetic without mathematical induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (2)

Hyperhypersimple sets and \(\Delta _ 2\) systems ⋮ Σ₂ Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator

Cites Work

• Finite injury and Σ₁-induction
• Hyperhypersimple α-r.e. sets

This page was built for publication: Maximal sets and fragments of Peano arithmetic