The Tarski-Lindenbaum algebra of the class of all strongly constructivizable countable saturated models (Q5326382)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6194957
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9317203760147096
0 references
0.9029120802879332
0 references
0.8138954043388367
0 references
