Pages that link to "Item:Q5900815"
From MaRDI portal
The following pages link to Fundamentals of Computation Theory (Q5900815):
Displaying 5 items.
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
- Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic (Q800356) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Cardinality logics. Part II: Definability in languages based on ‘exactly’ (Q3820583) (← links)
- The first-order structure of weakly Dedekind-finite set (Q5486247) (← links)