Decision procedure for a class of \((L_{\omega _ 1\omega})_ t\)-types of \(T_ 3\) spaces (Q1102274)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Decision procedure for a class of \((L_{\omega _ 1\omega})_ t\)-types of \(T_ 3\) spaces |
scientific article; zbMATH DE number 4049629
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decision procedure for a class of \((L_{\omega _ 1\omega})_ t\)-types of \(T_ 3\) spaces |
scientific article; zbMATH DE number 4049629 |
Statements
Decision procedure for a class of \((L_{\omega _ 1\omega})_ t\)-types of \(T_ 3\) spaces (English)
0 references
1987
0 references
The author [J. Symb. Logic 49, 961-967 (1984; Zbl 0576.03024)] introduced a notion of n-type for classifying \(T_ 3\) spaces up to \((L_{\omega_ 1\omega})_ t\)-equivalence. Such an n-type is called satisfiable if there is a \(T_ 3\) space having a point of this n-type. It is shown that it is decidable (uniformly in n) whether an n-type is decidable.
0 references
topological model theory
0 references
n-type
0 references
\(T_ 3\) spaces
0 references
0.6648263335227966
0 references
