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

DOI10.1305/NDJFL/1093636945zbMath0644.03022OpenAlexW1985619909MaRDI QIDQ1102274

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

topological model theory\(T_ 3\) spacesn-type

Mathematics Subject Classification ID

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

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