The following pages link to Continuous Fraïssé conjecture (Q1013988):
Displaying 10 items.
- The embedding structure for linearly ordered topological spaces (Q439311) (← links)
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Note on witnessed Gödel logics with Delta (Q1035647) (← links)
- On the classification of first order Gödel logics (Q1616771) (← links)
- Ten problems in Gödel logic (Q1699740) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- First-order Gödel logics (Q2370370) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results (Q3498458) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)