Axiomatic (and non-axiomatic) mathematics

DOI10.1216/rmj.2022.52.1157OpenAlexW3073707464MaRDI QIDQ2080664

Yanyan Li

Publication date: 10 October 2022

Published in: Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.08283

zbMATH Keywords

identitiesfirst-order logicaxiomatic system

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable
• Logical number theory I. An introduction
• Around Hilbert's 17th problem
• First-order continuous induction and a logical study of real closed fields
• On decidability and axiomatizability of some ordered structures
• Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions
• Equational Theory of Positive Numbers with Exponentiation
• Detecting Algebraic (In)Dependence of Explicitly Presented Functions (Some Applications of Nevanlinna Theory to Mathematical Logic)
• The Logic of Equality
• On Axiomatizability of the Multiplicative Theory of Numbers
• Definability and decision problems in arithmetic