The following pages link to (Q4193434):
Displaying 12 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 \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability (Q685078) (← links)
- Arithmetic with a local reflection principle for Rosser provability formulas (Q908911) (← links)
- The formalization of interpretability (Q1176098) (← links)
- Remarks and problems on a lattice of equational chapters (Q1821134) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Extension and interpretability (Q2658276) (← links)
- Modal analysis of generalized rosser sentences (Q3331198) (← links)
- Arithmetical interpretations of dynamic logic (Q3337454) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
