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):
Displayed 7 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)
- 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)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)