Pages that link to "Item:Q1038606"
From MaRDI portal
The following pages link to On interpretability in the theory of concatenation (Q1038606):
Displaying 17 items.
- Weak theories of concatenation and arithmetic (Q435240) (← links)
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
- Growing commas. A study of sequentiality and concatenation (Q1038605) (← links)
- On \(\mathsf{Q}\) (Q1699730) (← links)
- On decidability of theories of regular languages (Q2043872) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- Bases for structures and theories. I. (Q2198318) (← links)
- On undecidability of concatenation theory for one-symbol languages (Q2207016) (← links)
- First-order concatenation theory with bounded quantifiers (Q2219089) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Interpretability in Robinson's Q (Q2870105) (← links)
- Arithmetic on semigroups (Q3616353) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- A weak theory of building blocks (Q6589164) (← links)
