A reflection principle and its applications to nonstandard models
From MaRDI portal
Publication:4876315
DOI10.2307/2275878zbMath0847.03032MaRDI QIDQ4876315
Publication date: 30 September 1996
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275878
induction; Peano arithmetic; comprehension axiom; reflection principle; rather classless model; Finite Sequence axiom
03H15: Nonstandard models of arithmetic
Related Items
Cites Work