Some problem in elementary arithmetics

DOI10.4064/FM-92-3-223-245MaRDI QIDQ4135504zbMATH OpenOpenAlexFDO

Authors

Publication date 1976

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/214955

Mathematics Subject Classification ID

Model-theoretic algebra (03C60)

Cited in

(10)

• The completeness of Peano multiplication
• Bounded recursively enumerable sets and degrees
• On partial disjunction properties of theories containing Peano arithmetic
• On cofinal submodels and elementary interstices
• Duality, non-standard elements, and dynamic properties of r.e. sets
• Recursive models and the divisibility poset
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
• DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
• The modal logic of arithmetic potentialism and the universal algorithm
• Automorphisms of models of arithmetic: a unified view

This page was built for publication: Some problem in elementary arithmetics

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