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

DOI10.2307/2274151zbMath0576.03024MaRDI QIDQ3695267

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

classification; infinitary languages; topological model theory; elementary types; Boolean algebra with unary operators; Cantor derivative; formal Boolean algebra; Martinez derivative

Mathematics Subject Classification ID

03C99: Model theory

54D10: Lower separation axioms ((T_0)--(T_3), etc.)

03C80: Logic with extra quantifiers and operators

03C75: Other infinitary logic

03C15: Model theory of denumerable and separable structures

03C35: Categoricity and completeness of theories