No label defined (Q5177697)
From MaRDI portal
scientific article; zbMATH DE number 6412027
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6412027 |
Statements
5 March 2015
0 references
first-order logic
0 references
Tarski-Lindenbaum algebra
0 references
Stone space
0 references
natural binary tree
0 references
compact binary tree
0 references
universal construction of finitely axiomatizable theories
0 references