The following pages link to (Q3949052):
Displaying 50 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- A note on \(\aleph_\alpha\)-saturated o-minimal expansions of real closed fields (Q282122) (← links)
- Maximal chains of copies of the rational line (Q382892) (← links)
- Posets of copies of countable scattered linear orders (Q386154) (← links)
- Pairs of orthogonal countable ordinals (Q400437) (← links)
- Maximal chains of isomorphic subgraphs of countable ultrahomogeneous graphs (Q401003) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- Modal logics of Stone spaces (Q438813) (← links)
- Simple types in discretely ordered structures (Q481879) (← links)
- Maximal chains of isomorphic subgraphs of the Rado graph (Q485527) (← links)
- The weakness of being cohesive, thin or free in reverse mathematics (Q503277) (← links)
- Cops and robbers ordinals of cop-win trees (Q512565) (← links)
- The \(\aleph_{0}\)-categorical trees (Q523151) (← links)
- The complexity of isomorphism for complete theories of linear orders with unary predicates (Q527333) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Cuts of linear orders (Q651418) (← links)
- Classification of finite coloured linear orderings (Q651420) (← links)
- Towards an axiomatization of orderings (Q687178) (← links)
- On the structure of order domains (Q700167) (← links)
- Ordered sets with no chains of ideals of a given type (Q762508) (← links)
- Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\) (Q783293) (← links)
- The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes (Q813283) (← links)
- Countably complementable linear orderings (Q878148) (← links)
- A compendium of fuzzy weak orders: representations and constructions (Q879011) (← links)
- Epimorphisms between linear orders. (Q890015) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- Homomorphisms between complete chains and the independence of the axioms of limitoid (Q912877) (← links)
- The root system of prime subgroups of a free lattice-ordered group (without G.C.H.) (Q914714) (← links)
- Definability with bounded number of bound variables (Q922523) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- Notes on leximorphic spaces (Q990319) (← links)
- Degree spectra of the successor relation of computable linear orderings (Q1005920) (← links)
- Continuous Fraïssé conjecture (Q1013988) (← links)
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
- Pointwise Debreu lexicographic powers (Q1047189) (← links)
- Lawless order (Q1059651) (← links)
- Recursive automorphisms of recursive linear orderings (Q1061738) (← links)
- Complete embeddings of linear orderings and embeddings of lattice-ordered groups (Q1089362) (← links)
- The metamathematics of scattered linear orderings (Q1106846) (← links)
- Irrational ordered groups (Q1108299) (← links)
- Cancellation and absorption of lexicographic powers of totally ordered Abelian groups (Q1115465) (← links)
- Self complementary topologies and preorders (Q1177704) (← links)
- Rings of generalized power series: Nilpotent elements (Q1187128) (← links)
- Fields: Algebraically closed and others (Q1197358) (← links)
- Weakly semirecursive sets and r.e. orderings (Q1210140) (← links)
- Coloring chains (Q1264160) (← links)
- Measuring intransitivity (Q1277476) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
