Pages that link to "Item:Q4645216"

The following pages link to Implicit definability and infinitary logic in finite model theory (Q4645216):

Displaying 3 items.

• Recursive definitions and fixed-points on well-founded structures (Q654910) (← links)
• How to define a linear order on finite models (Q1371431) (← links)
• Recursive Definitions and Fixed-Points (Q5178958) (← links)