Accessible sets and (Lω1ω)t-equivalence for T3 spaces

DOI10.2307/2274151MaRDI QIDQ3695267zbMATH OpenOpenAlexFDO

Authors Juan Carlos Martínez

Publication date 1984

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274151

zbMATH Keywords

Boolean algebra with unary operatorsCantor derivativeclassificationelementary typesformal Boolean algebrainfinitary languagesMartinez derivativetopological model theory

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Other infinitary logic (03C75) Logic with extra quantifiers and operators (03C80) Model theory (03C99) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Recommendations

• Decision procedure for a class of \((L_{\omega _ 1\omega})_ t\)-types of \(T_ 3\) spaces
• Характеры и типы точечных множеств
• scientific article; zbMATH DE number 4116510
• Type structures
• On the Borel class of the derived set operator. II

Cited in

(1)

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

This page was built for publication: Accessible sets and (L_ω1ω)_t-equivalence for T₃ spaces

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