The 116 reducts of (ℚ, <, a)

DOI10.2178/JSL/1230396752MaRDI QIDQ3617366zbMATH OpenOpenAlexFDO

Authors Markus Junker, Martin Ziegler

Publication date 23 March 2009

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1230396752

zbMATH Keywords

\(\aleph_{0}\)-categoricityelimination of quantifiersfinite relational languagereductsSimon Thomas' Conjecture

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35) Model theory of ordered structures; o-minimality (03C64) Infinite automorphism groups (20B27)

Recommendations

• Reducts of random hypergraphs
• The reducts of equality up to primitive positive interdefinability
• scientific article; zbMATH DE number 221672
• Linear reducts of the complex field
• On the elimination of quantifiers for the ordered group of real numbers with a distinguished dense subgroup

Cites work

• HOMOGENEOUS RELATIONS
• scientific article; zbMATH DE number 5657589 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• Invariant subgroups of \(^ V V\)
• Possible Orderings of an Indiscernible Sequence
• Quelques problèmes combinatoires concernant les ordres totaux et les rélations monomorphes
• Reducts of random hypergraphs
• Transitivity of permutation groups on unordered sets

Cited in

(26)

• Infinitely many reducts of homogeneous structures
• Constants and finite unary relations in qualitative constraint reasoning
• Reducts of the random bipartite graph
• Minimal functions on the random graph
• Ramsey degrees: big v. small
• Permutation groups with small orbit growth
• Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting)
• A survey of homogeneous structures
• The affine and projective groups are maximal
• The 42 reducts of the random ordered graph
• The reducts of the homogeneous binary branching C-relation
• Reducts of structures and maximal-closed permutation groups
• \(2^{\aleph_{0}}\) pairwise nonisomorphic maximal-closed subgroups of \(\mathrm{Sym}(\mathbb N)\) via the classification of the reducts of the Henson digraphs
• Reducts of the random partial order
• Permutations on the random permutation
• Automorphism groups of finite topological rank
• Permutation groups containing infinite symplectic linear groups and reducts of linear spaces over the two element field
• Topological dynamics of unordered Ramsey structures
• Lattice of definability (of reducts) for integers with successor
• Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals
• Reducts of the Henson graphs with a constant
• Functional reducts of the countable atomless Boolean algebra
• More sublattices of the lattice of local clones
• The lattice of definability: origins, recent developments, and further directions
• Twists and twistability
• Reducts of the generic digraph

This page was built for publication: The 116 reducts of (ℚ, <, a)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617366)