scientific article; zbMATH DE number 3914293
From MaRDI portal
Publication:3690795
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Theory of numerations, effectively presented structures (03D45)
Recommendations
Cited in
(17)- A formal derivation of the decidability of the theory SA
- On distributions of countable models of disjoint unions of Ehrenfeucht theories
- \(P^*\)-combinations of almost \(\omega\)-categorical weakly o-minimal theories
- Distributions of countable models of disjoint unions of Ehrenfeucht theories
- Saturated models and models that are generated by indiscernibles
- scientific article; zbMATH DE number 4164815 (Why is no real title available?)
- Alfred Tarski and decidable theories
- A comprehensive picture of the decidability of mereological theories
- Autostability of prime models under strong constructivizations
- scientific article; zbMATH DE number 1159716 (Why is no real title available?)
- Ticket Entailment is decidable
- DISTRIBUTIONS OF COUNTABLE MODELS OF QUITE O-MINIMAL EHRENFEUCHT THEORIES
- A remark concerning decidability of complete theories
- scientific article; zbMATH DE number 7724207 (Why is no real title available?)
- Spherical orders, properties and countable spectra of their theories
- Decidable models of Ehrenfeucht theories
- A decidable Ehrenfeucht theory with exactly two hyperarithmetic models
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3690795)
