The following pages link to (Q3142555):
Displaying 10 items.
- Recursive definitions and fixed-points on well-founded structures (Q654910) (← links)
- The \(k\)-variable property is stronger than H-dimension \(k\) (Q676186) (← links)
- Canonization for two variables and puzzles on the square (Q1361251) (← links)
- How to define a linear order on finite models (Q1371431) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- Linear ordering on graphs, anti-founded sets and polynomial time computability (Q1960423) (← links)
- On propositional definability (Q2389643) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Recursive Definitions and Fixed-Points (Q5178958) (← links)
- Finite-Variable Logics Do Not Have Weak Beth Definability Property (Q5350328) (← links)
