scientific article; zbMATH DE number 1302878
zbMATH Open0952.03035MaRDI QIDQ4249364FDOQ4249364
Authors: Mikhaĭl G. Peretyat'kin 
Publication date: 7 January 2001
Title of this publication is not available (Why is that?)
Recommendations
surveyatomic modelBoolean algebradecidabilityconstructive modelalgorithmic complexityprime modelstable theoryfinitely axiomatizable theoriesLindenbaum algebrarigid model
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Boolean algebras (Boolean rings) (06E99)
Cited In (21)
- Finitely inseparable first-order axiomatized mereotopological theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- On constructive models of theories with linear Rudin-Keisler ordering
- Title not available (Why is that?)
- Effective choice of constructivizations and recursive consistency of problems on constructive models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model theory under the axiom of determinateness
- Title not available (Why is that?)
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- Title not available (Why is that?)
- A complete axiomatization of a theory with feature and arity constraints
- Title not available (Why is that?)
- Finite axiomatizability and theories with trivial algebraic closure
- On Models Constructed by Means of the Arithmetized Completeness Theorem
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
- Groups of recursive automorphisms of constructive Boolean algebras
- New models of bounded induction axioms
- Destructibility and axiomatizability of Kaufmann 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 Q4249364)
