The following pages link to (Q3142555):
Displaying 4 items.
- Recursive definitions and fixed-points on well-founded structures (Q654910) (← links)
- The \(k\)-variable property is stronger than H-dimension \(k\) (Q676186) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Recursive Definitions and Fixed-Points (Q5178958) (← links)