Pages that link to "Item:Q5941253"
From MaRDI portal
The following pages link to Decidability of the theory of the natural integers with the Cantor pairing function and the successor (Q5941253):
Displaying 11 items.
- The second incompleteness theorem and bounded interpretations (Q454368) (← links)
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) (← links)
- Fragments of arithmetic and pairing functions (Q2765865) (← links)
- Vaught's theorem on axiomatizability by a scheme (Q2915888) (← links)
- A Groupoid of Isomorphic Data Transformations (Q3637276) (← links)
- CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN (Q3644806) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- The theory of hereditarily bounded sets (Q6094150) (← links)