The following pages link to (Q3690795):
Displaying 16 items.
- A comprehensive picture of the decidability of mereological theories (Q383563) (← links)
- Autostability of prime models under strong constructivizations (Q431714) (← links)
- A decidable Ehrenfeucht theory with exactly two hyperarithmetic models (Q810001) (← links)
- A formal derivation of the decidability of the theory SA (Q1325831) (← links)
- On distributions of countable models of disjoint unions of Ehrenfeucht theories (Q1735125) (← links)
- \(P^*\)-combinations of almost \(\omega\)-categorical weakly o-minimal theories (Q2030138) (← links)
- Distributions of countable models of disjoint unions of Ehrenfeucht theories (Q2656423) (← links)
- Saturated models and models that are generated by indiscernibles (Q2732283) (← links)
- (Q3491528) (← links)
- Alfred Tarski and decidable theories (Q3791109) (← links)
- (Q4392083) (← links)
- Ticket Entailment is decidable (Q4925031) (← links)
- DISTRIBUTIONS OF COUNTABLE MODELS OF QUITE O-MINIMAL EHRENFEUCHT THEORIES (Q5151328) (← links)
- A remark concerning decidability of complete theories (Q5800816) (← links)
- (Q6168448) (← links)
- Spherical orders, properties and countable spectra of their theories (Q6587398) (← links)