The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models (Q5326382)
From MaRDI portal
scientific article; zbMATH DE number 6194957
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models |
scientific article; zbMATH DE number 6194957 |
Statements
The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models (English)
0 references
5 August 2013
0 references
finitely axiomatizable theory
0 references
Tarski-Lindenbaum algebra
0 references
c.e. Boolean algebra
0 references
countable saturated model
0 references
computable family of types
0 references
Turing computability
0 references
hierarchy
0 references
m-complete set
0 references
