Copertina

Quasi-Polish spaces and spaces of filters in second-order arithmetic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kaneko, Yuzuki, Yokoyama, Keita
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Completeness theorems for modal logic in second-order arithmetic
di: Shimomichi, Sho, et al.
Pubblicazione: (2025)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
di: Ikari, Hiroyuki, et al.
Pubblicazione: (2026)

Searching problems above arithmetical transfinite recursion
di: Suzuki, Yudai, et al.
Pubblicazione: (2023)

Pathwise-random trees and models of second-order arithmetic
di: Barmpalias, George, et al.
Pubblicazione: (2021)

Degree spectra of homeomorphism types of compact Polish spaces
di: Hoyrup, Mathieu, et al.
Pubblicazione: (2020)

Effective weak convergence and tightness of measures in computable Polish spaces
di: Rojas, Diego A.
Pubblicazione: (2024)

The set of distances in a Polish metric space
di: Clemens, John D.
Pubblicazione: (2025)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
di: Suzuki, Yudai, et al.
Pubblicazione: (2024)

Reverse mathematics of regular countable second countable spaces
di: Genovesi, Giorgio G.
Pubblicazione: (2024)

Borel fields and measured fields of Polish spaces, Banach spaces, von Neumann algebras and C*-algebras
di: Vaes, Stefaan, et al.
Pubblicazione: (2024)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
di: Konečný, Michal, et al.
Pubblicazione: (2024)

Higher-order generalizations of stability and arithmetic regularity
di: Terry, C., et al.
Pubblicazione: (2021)

On a lattice of relational spaces (reducts) for the order of integers
di: Semenov, A. L., et al.
Pubblicazione: (2024)

The Reverse Mathematics of Analytic Measurability
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)

On some subtheories of strong dependent choice
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
di: Becker, Justus, et al.
Pubblicazione: (2026)

A linear proof language for second-order intuitionistic linear logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

Conservation of Ramsey's theorem for pairs and well-foundedness
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

Boolean-valued second-order logic revisited
di: Ikegami, Daisuke
Pubblicazione: (2025)

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

Algebraic characterisation of pseudo-elementary and second-order classes
di: Ivanyos, János Balázs
Pubblicazione: (2026)

Axiomatization of Büchi arithmetic
di: Kovalyov, Konstantin
Pubblicazione: (2024)

Definable sets in Skolem arithmetic
di: Kamiński, Łukasz
Pubblicazione: (2025)

Graphings of arithmetical equivalence relations
di: Arant, Tyler
Pubblicazione: (2025)

Iterating reflection over intuitionistic arithmetic
di: Frittaion, Emanuele
Pubblicazione: (2024)

Relative to any non-arithmetic set
di: Harrison-Trainor, Matthew
Pubblicazione: (2025)

Central H-spaces and banded types
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2023)

Isomorphism of locally compact Polish metric structures
di: Malicki, Maciej
Pubblicazione: (2022)

Model theory of second order logic
di: Väänänen, Jouko
Pubblicazione: (2025)

Locales as spaces in outer models
di: Bannister, Nathaniel
Pubblicazione: (2024)

Tarski's Undefinability Theorem and first-order arithmetic
di: Boyce, Stephen
Pubblicazione: (2010)

The modal logic of arithmetic potentialism and the universal algorithm
di: Hamkins, Joel David
Pubblicazione: (2018)

A non-sequential arithmetical theory with pairing
di: Murwanashyaka, Juvenal
Pubblicazione: (2025)

Completions of Kleene's second model
di: Terwijn, Sebastiaan A.
Pubblicazione: (2023)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

Partitions of Baire space into compact sets
di: Fischer, Vera, et al.
Pubblicazione: (2023)

Analysis of logics with arithmetic
di: Benedikt, Michael, et al.
Pubblicazione: (2025)

On the representation of C-recursive integer sequences by arithmetic terms
di: Prunescu, Mihai, et al.
Pubblicazione: (2024)

Isometry groups of Polish ultrametric spaces
di: Camerlo, Riccardo, et al.
Pubblicazione: (2025)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)