Pages that link to "Item:Q2306641"
From MaRDI portal
The following pages link to On certain axiomatizations of arithmetic of natural and integer numbers (Q2306641):
Displaying 6 items.
- Simple axioms that are obviously true in \(\mathbb{N}\) (Q487218) (← links)
- A note on the axiomatisation of real numbers (Q3506319) (← links)
- On Axiomatizability of the Multiplicative Theory of Numbers (Q4643213) (← links)
- On the Completeness of the Totitives of a Natural Number (Q5510979) (← links)
- A system of completely independent axioms for the sequence of natural numbers (Q5846787) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)