A nonmicroscopic $G_δ$ set with only microscopic compact subsets

Martin Doležal; Václav Vlasák

Home/Archive/arXiv

arXiv · 2610.06301

A nonmicroscopic $G_δ$ set with only microscopic compact subsets

Martin Doležal·Václav Vlasák

View original source ↗Read source document ↗Export metadata ↓

Abstract

We construct a nonmicroscopic $G_δ$ subset of the real line all of whose compact subsets are microscopic, answering a question of Zindulka and Nowakowski. We first obtain such a set in the standard Cantor space by coding branches of a finitely branching tree together with suitable choices of marked nodes. The coding of the branches ensures that the resulting set is not microscopic, while the marked nodes allow us to construct covers showing that every compact subset is microscopic. The example is then transferred from the Cantor space to the real line by the binary-expansion map.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Martin Doležal, Václav Vlasák. 2026-10-05. A nonmicroscopic $G_δ$ set with only microscopic compact subsets. https://arxiv.org/abs/2610.06301

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Classical Logic as Intuitionistic Logic with Duality

The field of proof-theoretic semantics (P-tS) offers an alternative approach to meaning in logic that is based on inference and argument (rather than truth in a model). It has been successfully developed for various logics; in particular, Sandqvist has developed such semantics for both classical and intuitionistic logic. In the case of classical logic, P-tS provides a conception of consequence that avoids an a priori commitment to the principle of bivalence, addressing what Dummett identified as a significant foundational challenge in logic. In this paper, we propose an alternative P-tS for classical logic, which essentially extends the P-tS for intuitionistic logic by operating over literals rather than atomic propositions. Importantly, literals are atomic and not defined by negation but are related by a primitive duality encoded inferentially at the atomic level. This semantics illustrates the perspective that classical logic can be understood as intuitionistic logic supplemented by a principle of duality, offering fresh insights into the relationship between these two systems.

math.LO↗

arXiv2026

On some NIP Fragments of Fields

In this document we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued Fields of any characteristic and any imperfection degree are NIP, and use this result to fill some gaps of a proof of the so-called NIP Transfer Theorem for henselian valued fields of equal characteristic. Second, we prove a variant of a theorem of Johnson: every positive characteristic valued field whose existential formulas are NIP is henselian, and generalize this result for finer sets of existential formulas, like positive existential with a given number of quantifiers, in type-definable fields. Finally, we set the ground for the finer question of transfer of NIP formulas of valued fields with bounded quantifier rank. Namely, we prove that for any henselian equicharacteristic valued field, any formula of quantifier rank at most $n\geq 1$ is NIP if and only if the same is true for the residue field and the value group, provided that the valued field is separably defectless Kaplansky and conditional on a multi-variable generalization of a well known statement about indiscernible sequences of singletons in ac-valued fields.

math.LO↗

arXiv2026

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals

Let $k$ be a complete valuation field. We define freeness of a Banach $k$-vector space as the existence of an orthonormal Schauder basis, and almost freeness of a Banach $k$-vector space as a non-Archimedean Banach space analogue of almost freeness of an Abelian group. As non-Archimedean Banach space analogues of the classical facts that an almost free Abelian group is free under the assumption that its cardinality is $\aleph_1$-strongly compact or weakly compact, we show that an almost free Banach $k$-vector space is free under similar assumptions.

math.LO↗