Formal theories of arithmetic
Bounded arithmeticBüchi arithmeticDecidability of first-order theories of the real numbersElementary function arithmeticExistential theory of the realsHeyting arithmeticInduction, bounding and least number principlesNon-standard model of arithmeticPeano axiomsPresburger arithmeticPrimitive recursive arithmeticRobinson arithmeticSecond-order arithmeticSkolem arithmeticTarski's axiomatization of the realsTrue arithmeticTypographical Number Theory
Link from a Wikipage to another Wikipage
Bounded arithmeticBüchi arithmeticDecidability of first-order theories of the real numbersElementary function arithmeticExistential theory of the realsHeyting arithmeticInduction, bounding and least number principlesNon-standard model of arithmeticPeano axiomsPresburger arithmeticPrimitive recursive arithmeticRobinson arithmeticSecond-order arithmeticSkolem arithmeticTarski's axiomatization of the realsTrue arithmeticTypographical Number Theory
subject
related
Formal theories of arithmetic
Wikipage page ID
11,504,157
Wikipage revision ID
683,495,183
type
label
Formal theories of arithmetic
@en
prefLabel
Formal theories of arithmetic
@en