The following pages link to Theories of linear order (Q1216299):
Displaying 25 items.
- The complexity of isomorphism for complete theories of linear orders with unary predicates (Q527333) (← links)
- O-stable theories (Q695774) (← links)
- The complete finitely axiomatized theories of order are dense (Q1231486) (← links)
- Finding \(2^{\aleph_0}\) countable models for ordered theories (Q1669769) (← links)
- \(P\)-combinations of ordered theories (Q2207023) (← links)
- Stationarily ordered types and the number of countable models (Q2285849) (← links)
- Vaught's conjecture for monomorphic theories (Q2417963) (← links)
- CLASSES OF STRUCTURES WITH NO INTERMEDIATE ISOMORPHISM PROBLEMS (Q2805027) (← links)
- On dp-minimal ordered structures (Q3011114) (← links)
- A Borel reductibility theory for classes of countable structures (Q3033746) (← links)
- Analytic equivalence relations and bi-embeddability (Q3083138) (← links)
- Classification from a Computable Viewpoint (Q3430937) (← links)
- Inclusions et produits de groupes abéliens ordonnés étudiés au premier ordre (Q3476797) (← links)
- Why some people are excited by Vaught's conjecture (Q3722477) (← links)
- Degrees coded in jumps of orderings (Q3770517) (← links)
- Decidability and finite axiomatizability of theories of ℵ<sub>0</sub>-categorical partially ordered sets (Q3931366) (← links)
- Vaught's conjecture on unitary relations (Q4397388) (← links)
- ON A QUESTION OF KRAJEWSKI’S (Q4628685) (← links)
- The Theory of Ordered Abelian Groups does not have the Independence Property (Q4744252) (← links)
- VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES (Q5015722) (← links)
- Vaught's conjecture for theories admitting finite monomorphic decompositions (Q5029028) (← links)
- AROUND RUBIN’S “THEORIES OF LINEAR ORDER” (Q5858917) (← links)
- Sharp Vaught's conjecture for some classes of partial orders (Q6119791) (← links)
- Countable models of complete ordered theories (Q6123087) (← links)
- The 𝜔-Vaught’s conjecture (Q6135821) (← links)
