Searcharxiv⌕ Search

arXiv subjects

János Balázs Ivanyos

Publications and source records attributed to János Balázs Ivanyos.

2 recordsLinked to original sources

New results about Q and $Δ$-spaces

A topological space \(X\) is called a \(Q\)-space if every subset of \(X\) is a \(G_δ\)-set, and \(X\) is a \(Δ\)-space if for any decreasing sequence \(\{D_n : n \inω\}\) of subsets of \(X\) with empty intersection there is a decreasing sequence \(\{U_n : n \in ω\}\) of open sets with empty intersection such that \(D_n \subseteq U_n\) for all \(n \inω\). Our main result shows that the following statements are equiconsistent: (1) There exists a measurable cardinal; (2) There exists a crowded Baire \(T_1\) \(Δ\)-space; (3) There exists a crowded Baire \(T_4\) \(Q\)-space; (4) There exists a \(T_1\) \(Δ\)-space admitting a strictly positive probability measure vanishing on points; (5) There exists a \(T_3\) \(Q\)-space admitting a strictly positive probability measure vanishing on points. This provides complete answers to some problems and partial answers to other problems that have recently appeared in the literature. We also prove a new result concerning Lindelöf \(Q\)-spaces: if \(X\) is a \(T_3\) Lindelöf \(Q\)-space with \(w(X)\leq \mathfrak c\), then \(|X|<\operatorname{cf}(\mathfrak c)\). This yields a number of nonexistence results for large Lindelöf, locally compact, compact, and countably compact \(Q\)-spaces.

math.GN↗

Algebraic characterisation of pseudo-elementary and second-order classes

In this paper we provide purely model-theoretic (algebraic) characterisations for classes definable in second-order logic and for pseudo-elementary classes (including PC and PC_Δ classes). Classical results of this flavour include Keisler-Shelah type theorems (characterising first-order definability by closure under ultraproducts and ultraroots) and Birkhoff's HSP theorem; a key starting point for this paper is Sági's work, which provides an algebraic description of classes definable by existential second-order sentences. Here we resolve several open problems from the literature. Our main results are the following. We solve the long-standing problem of giving a purely algebraic characterisation of pseudo-elementary classes: we characterise PC_Δ classes by intrinsic closure properties. We also give a characterisation for the basic pseudo-elementary classes (PC). We provide a structural classification of second-order equivalent structures, and we obtain purely algebraic characterisations of the classes definable by second-order formulas as well as those definable by finitely many second-order sentences.

math.LO↗