scientific article; zbMATH DE number 1302878
algorithmic complexityatomic modelBoolean algebraconstructive modeldecidabilityfinitely axiomatizable theoriesLindenbaum algebraprime modelrigid modelstable theorysurvey
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Computable structure theory, computable model theory (03C57) Model-theoretic algebra (03C60) Theory of numerations, effectively presented structures (03D45) Boolean algebras (Boolean rings) (06E99)
The article is a survey of the results concerning the application of finitely axiomatizable theories to the study of constructive models. The author considers the algorithmic complexity of models, the complexity of Lindenbaum algebras and the complexity of semantic classes of sentences connected with constructive models and decidability. Some open questions are also posed. For the entire collection see [Zbl 0905.03001].
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- Finite axiomatizability and theories with trivial algebraic closure
- Destructibility and axiomatizability of Kaufmann models
- Effective choice of constructivizations and recursive consistency of problems on constructive models
- On constructive models of theories with linear Rudin-Keisler ordering
- scientific article; zbMATH DE number 5901619 (Why is no real title available?)
- A complete axiomatization of a theory with feature and arity constraints
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
- scientific article; zbMATH DE number 3870639 (Why is no real title available?)
- scientific article; zbMATH DE number 4210137 (Why is no real title available?)
- scientific article; zbMATH DE number 4164815 (Why is no real title available?)
- scientific article; zbMATH DE number 3918348 (Why is no real title available?)
- Model theory under the axiom of determinateness
- scientific article; zbMATH DE number 4083594 (Why is no real title available?)
- scientific article; zbMATH DE number 1045790 (Why is no real title available?)
- scientific article; zbMATH DE number 1531932 (Why is no real title available?)
- On Models Constructed by Means of the Arithmetized Completeness Theorem
- scientific article; zbMATH DE number 1357400 (Why is no real title available?)
- Finitely inseparable first-order axiomatized mereotopological theories
- scientific article; zbMATH DE number 7566073 (Why is no real title available?)
- Universal Boolean algebras with applications to semantic classes of models
- Groups of recursive automorphisms of constructive Boolean algebras
- New models of bounded induction axioms
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 Q4249364)
