Decision procedure for a class of (L_ _ 1)_ t-types of T_ 3 spaces

DOI10.1305/NDJFL/1093636945MaRDI QIDQ1102274zbMATH OpenOpenAlexFDO

Authors Juan Carlos Martínez

Publication date 1987

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093636945

zbMATH Keywords

\(T_ 3\) spacesn-typetopological model theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other infinitary logic (03C75) Model theory (03C99)

Review text

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.

Recommendations

• Accessible sets and (L_ω1ω)_t-equivalence for T₃ spaces
• scientific article; zbMATH DE number 3962719
• A relation between spaces implied by their \(t\)-equivalence
• scientific article; zbMATH DE number 816220
• scientific article; zbMATH DE number 68519

Cited in

(1)

• Accessible sets and (L_ω1ω)_t-equivalence for T₃ spaces

This page was built for publication: Decision procedure for a class of \((L_{\omega _ 1\omega})_ t\)-types of \(T_ 3\) spaces

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