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

DOI10.1305/NDJFL/1093636945zbMATH Open0644.03022OpenAlexW1985619909MaRDI QIDQ1102274FDOQ1102274

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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)