Pages that link to "Item:Q4749827"
From MaRDI portal
The following pages link to Variants of Robinson's essentially undecidable theoryR (Q4749827):
Displayed 10 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)
- On \(\mathsf{Q}\) (Q1699730) (← links)
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- On interpretability between some weak essentially undecidable theories (Q2106592) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Arithmetic on semigroups (Q3616353) (← links)
- CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN (Q3644806) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? (Q5078818) (← links)