When is arithmetic possible?

DOI10.1016/0168-0072(90)90053-5MaRDI QIDQ922533zbMATH OpenOpenAlexWikidataFDO

Authors Gregory Loren McColm

Publication date 1990

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

Full work available at URL https://doi.org/10.1016/0168-0072(90)90053-5

zbMATH Keywords

parametrizationexpressibilitybounded inductions

Mathematics Subject Classification ID

Inductive definability (03D70)

Recommendations

• Whither relevant arithmetic?
• The (metaphysical) foundations of arithmetic?
• Arithmetic and the conditions of possible experience
• What Numbers Could Be (And, Hence, Necessarily Are)
• Arithmetic is determinate

Cites work

• scientific article; zbMATH DE number 3966062 (Why is no real title available?)
• scientific article; zbMATH DE number 3984616 (Why is no real title available?)
• A zero-one law for logic with a fixed-point operator
• An application of games to the completeness problem for formalized theories
• Classification theory and the number of non-isomorphic models
• Elementary induction on abstract structures
• On Moschovakis closure ordinals
• On the Computational Complexity of Algorithms
• Parametrization over inductive relations of a bounded number of variables
• Relational queries computable in polynomial time
• SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES
• Some applications of the notions of forcing and generic sets
• Some restrictions on simple fixed points of the integers
• Upper and lower bounds for first order expressibility

Cited in

(4)

• First order logic, fixed point logic and linear order
• When is scalar multiplication decidable?
• Tameness in least fixed-point logic and McColm's conjecture
• How to define a linear order on finite models

This page was built for publication: When is arithmetic possible?

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