Pages that link to "Item:Q1960537"
From MaRDI portal
The following pages link to On arithmetical first-order theories allowing encoding and decoding of lists (Q1960537):
Displaying 7 items.
- Bunched sequential information (Q266883) (← links)
- The theory of lists and \(\Sigma\)-definability (Q447718) (← links)
- Sequence encoding without induction (Q2888636) (← links)
- Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices (Q3453110) (← links)
- Decidability of the theory of the natural integers with the Cantor pairing function and the successor (Q5941253) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- The theory of hereditarily bounded sets (Q6094150) (← links)