The 116 reducts of (ℚ, <, a)

DOI10.2178/jsl/1230396752zbMath1189.03041MaRDI QIDQ3617366

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

reducts; elimination of quantifiers; finite relational language; \(\aleph_{0}\)-categoricity; Simon Thomas' Conjecture

Mathematics Subject Classification ID

03C64: Model theory of ordered structures; o-minimality

03C10: Quantifier elimination, model completeness, and related topics

20B27: Infinite automorphism groups

03C35: Categoricity and completeness of theories

Related Items

PAIRWISE NONISOMORPHIC MAXIMAL-CLOSED SUBGROUPS OF SYM(ℕ) VIA THE CLASSIFICATION OF THE REDUCTS OF THE HENSON DIGRAPHS, 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, Reducts of the random partial order, Permutations on the random permutation, Reducts of the Henson graphs with a constant, More sublattices of the lattice of local clones, Reducts of the generic digraph, 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, A survey of homogeneous structures, The affine and projective groups are maximal, The 42 reducts of the random ordered graph

Cites Work

• Unnamed Item
• Unnamed Item
• Invariant subgroups of \(^ V V\)
• Transitivity of permutation groups on unordered sets
• Reducts of random hypergraphs
• Quelques problèmes combinatoires concernant les ordres totaux et les rélations monomorphes
• HOMOGENEOUS RELATIONS
• Possible Orderings of an Indiscernible Sequence