Continuous Fraïssé conjecture
From MaRDI portal
Publication:1013988
DOI10.1007/s11083-008-9094-4zbMath1171.03027arXivmath/0411117OpenAlexW2167004790WikidataQ123155622 ScholiaQ123155622MaRDI QIDQ1013988
Martin Goldstern, Norbert Preining, Arnold Beckmann
Publication date: 24 April 2009
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0411117
Many-valued logic (03B50) Total orders (06A05) Other classical set theory (including functions, relations, and set algebra) (03E20)
Related Items
On the classification of first order Gödel logics ⋮ Decidability of order-based modal logics ⋮ First-order Gödel logics ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Monadic Fragments of Gödel Logics: Decidability and Undecidability Results ⋮ Ten problems in Gödel logic ⋮ The embedding structure for linearly ordered topological spaces ⋮ First-order satisfiability in Gödel logics: an NP-complete fragment ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability ⋮ Note on witnessed Gödel logics with Delta
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Combinatorial set theory: Partition relations for cardinals
- Descriptive set theory
- Metamathematics of fuzzy logic
- Completeness of a first-order temporal logic with time-gaps
- On Fraissé's order type conjecture
- Perfect subsets of definable sets of real numbers
- A propositional calculus with denumerable matrix
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
- Intermediate predicate logics determined by ordinals
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- Logic with truth values in A linearly ordered heyting algebra
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Concerning similarity transformations of linearly ordered sets
- Sur les types d'ordre des ensembles linéaires
