scientific article; zbMATH DE number 1302878
From MaRDI portal
Publication:4249364
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)
Cited in
(23)- 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)
