Cover Image

Reverse mathematics of regular countable second countable spaces

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Genovesi, Giorgio G.
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On chromatic number of countable graphs
by: Kikyo, Hirotaka, et al.
Published: (2026)

Locally countable graphs of second projective class not generated by countably many projective functions
by: Kanovei, Vladimir, et al.
Published: (2026)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

On countability and representations
by: Sanders, Sam
Published: (2026)

All spaces of countable spread can be small
by: Dow, Alan, et al.
Published: (2025)

Filters on a countable vector space
by: Smythe, Iian B.
Published: (2021)

Universal countably chromatic graph
by: Kivimäki, Siiri
Published: (2025)

Regular expressions over countable words
by: Colcombet, Thomas, et al.
Published: (2025)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
by: Koberda, Thomas, et al.
Published: (2023)

Quasi-invariant measures concentrating on countable structures
by: Conley, Clinton, et al.
Published: (2024)

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
by: Bertrand, Nathalie, et al.
Published: (2020)

Definable expansions on countable groups and countable Borel equivalence relations
by: Wolman, Michael
Published: (2025)

Dedekind-finite cardinals having countable partitions
by: Panasawatwong, Supakun, et al.
Published: (2022)

Diamond on ladder systems and countably metacompact topological spaces
by: Carvalho, Rodrigo, et al.
Published: (2023)

Adding cofinal countable sequences through multiple regular cardinals by ssp forcing
by: De Bondt, Ben, et al.
Published: (2025)

A non-de Finetti theorem for countable Euclidean spaces
by: Jahel, Colin, et al.
Published: (2024)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
by: Bahrami, Saeideh
Published: (2026)

There are only countably many locally tabular bi-intermediate logics of co-trees
by: Martins, Miguel
Published: (2026)

Diamond principles and Tukey-top ultrafilters on a countable set
by: Benhamou, Tom, et al.
Published: (2024)

Definable separability and second-countability in o-minimal structures
by: Guerrero, Pablo Andújar
Published: (2024)

The countable condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

An algebra modality admitting countably many deriving transformations
by: Vienney, Jean-Baptiste
Published: (2025)

Hausdorff dimension and countable Borel equivalence relations
by: Marks, Andrew, et al.
Published: (2024)

Realizations of countable Borel equivalence relations
by: Frisch, Joshua, et al.
Published: (2021)

On countable isotypic structures
by: Gvozdevsky, Pavel
Published: (2023)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)

Infima and cardinal characteristics of critical ideals for countable compact spaces
by: Kowalczuk, Malgorzata
Published: (2026)

A countable-support symmetric iteration separating PP from AC
by: Gilson, Frank
Published: (2026)

Extremely amenable automorphism groups of countable structures
by: Etedadialiabadi, Mahmood, et al.
Published: (2024)

Cantor-Schröder-Bernstein theorem for a class of countable linear orders
by: Srivastava, Suyash, et al.
Published: (2024)

On closed Ramsey numbers of small countable ordinals
by: Duman, Necdet, et al.
Published: (2026)

Some results on the $π$-weight of countable Fréchet-Urysohn spaces
by: Dow, Alan
Published: (2025)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
by: Andrews, Uri, et al.
Published: (2024)

Isomorphism of pointed minimal systems is not classifiable by countable structures
by: Li, Ruiwen, et al.
Published: (2024)

A dichotomy for countable unions of smooth Borel equivalence relations
by: de Rancourt, N., et al.
Published: (2021)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

The Borel Ramsey properties for countable Borel equivalence relations
by: Gao, Su, et al.
Published: (2024)

Long games just beyond fixed countable length
by: Gappo, Takehiko, et al.
Published: (2026)

Classical Namba forcing can have the weak countable approximation property
by: Levine, Maxwell
Published: (2023)

Dichotomy results for classes of countable graphs
by: Cipriani, Vittorio, et al.
Published: (2025)