scientific article; zbMATH DE number 65750

MaRDI QIDQ4010361zbMATH OpenFDO

Authors Daniel M. Leivant

Publication date 27 September 1992

zbMATH Keywords

\(\Sigma_ 1\)-ArithmeticHenkin structuresPeano Arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Model-theoretic properties characterizing Peano arithmetic
• scientific article; zbMATH DE number 9068
• On partial disjunction properties of theories containing Peano arithmetic
• The shortest definition of a number in Peano arithmetic
• Theories of initial segments of standard models of arithmetics and their complete extensions

Cited in

(6)

• Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity
• Alternative Characterizations of Precomplete Numerations
• The shortest definition of a number in Peano arithmetic
• A semantic construction of two-ary integers
• Intrinsic theories and computational complexity
• The natures of numbers in and around Bombelli's \textit{L'algebra}

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4010361)