Pages that link to "Item:Q5019780"
From MaRDI portal
The following pages link to DISJUNCTIONS WITH STOPPING CONDITIONS (Q5019780):
Displaying 5 items.
- Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- Compositional truth with propositional tautologies and quantifier-free correctness (Q6139242) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)
- Saturation properties for compositional truth with propositional correctness (Q6652033) (← links)
