The following pages link to (Q3220545):
Displaying 6 items.
- Recursive Definitions and Fixed-Points (Q5178958) (← links)
- Dialectical Contradictions and Classical Formal Logic (Q5250259) (← links)
- An open formalism against incompleteness (Q5937853) (← links)
- The generic filter property in nonstandard analysis (Q5942882) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)
- Game characterizations for the number of quantifiers (Q6620026) (← links)