First-order reasoning and primitive recursive natural number notations

DOI10.1007/S11225-010-9272-4zbMath1200.03041OpenAlexW1986380412MaRDI QIDQ708925

David Isles

Publication date: 15 October 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9272-4

zbMATH Keywords

proof theoryfinitismnonstandard natural numbers

Mathematics Subject Classification ID

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

Cites Work

• What evidence is there that \(2^{\land}65536\) is a natural number?
• A global representation of the recursive functions in the \(\lambda\)- calculus
• A finite analog to the Löwenheim-Skolem theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: First-order reasoning and primitive recursive natural number notations