The Tarski-Lindenbaum algebra of the class of all strongly constructivizable countable saturated models

DOI10.1007/978-3-642-39053-1_41MaRDI QIDQ5326382zbMATH OpenOpenAlexFDO

Authors Mikhaĭl G. Peretyat'kin

Publication date 5 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39053-1_41

zbMATH Keywords

c.e. Boolean algebracomputable family of typescountable saturated modelfinitely axiomatizable theoryhierarchym-complete setTarski-Lindenbaum algebraTuring computability

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Logical aspects of Boolean algebras (03G05)

Recommendations

• On the Tarski-Lindenbaum algebra of the class of all strongly constructivizable prime models
• The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one
• THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS
• scientific article; zbMATH DE number 4127184
• Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\)

Cited in

(8)

• On the number of strongly \(\aleph _{\epsilon}\)-saturated models of power \(\lambda\)
• A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic
• On the Tarski-Lindenbaum algebra of the class of all strongly constructivizable prime models
• THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS
• Complexity estimates for theories of some classes of prime models
• The Tarski-Lindenbaum algebra of the class of strongly constructivizable models with -stable theories
• Universal Boolean algebras with applications to semantic classes of models
• The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one

This page was built for publication: The Tarski-Lindenbaum algebra of the class of all strongly constructivizable countable saturated models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326382)