Nonstandard arithmetic and recursive comprehension

DOI10.1016/J.APAL.2010.01.001zbMath1230.03092OpenAlexW2096276046MaRDI QIDQ636343

H. Jerome Keisler

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.01.001

zbMATH Keywords

reverse mathematicssecond-order arithmeticnonstandard arithmeticrecursive comprehension

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35) Nonstandard arithmetic (number-theoretic aspects) (11U10)

Related Items (2)

Nonstandard second-order arithmetic and Riemann's mapping theorem ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• Formalizing non-standard arguments in second-order arithmetic
• Nonstandard Arithmetic and Reverse Mathematics

This page was built for publication: Nonstandard arithmetic and recursive comprehension