Imagen de Portada

The Reverse Mathematics of Analytic Measurability

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Aguilera, Juan P., Kouptchinsky, Thibaut, Yokoyama, Keita
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Binary Choice Games and Arithmetical Comprehension
por: Aguilera, Juan Pablo, et al.
Publicado: (2025)

The Limits of Determinacy in Higher-Order Arithmetic
por: Aguilera, Juan Pablo, et al.
Publicado: (2024)

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

Quasi-Polish spaces and spaces of filters in second-order arithmetic
por: Kaneko, Yuzuki, et al.
Publicado: (2026)

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

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

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

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

Constructive Quantum Logics
por: Aguilera, Juan P., et al.
Publicado: (2025)

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

Independence and Induction in Reverse Mathematics
por: Belanger, David, et al.
Publicado: (2024)

The Cardinalities of Intervals of Equational Theories and Logics
por: Aguilera, Juan P., et al.
Publicado: (2026)

From real analysis to the sorites paradox via Reverse Mathematics
por: Dean, Walter, et al.
Publicado: (2025)

Polytopological Semantics for Intuitionistic Modal Logics
por: Aguilera, Juan P., et al.
Publicado: (2026)

On sequential theorems in Reverse Mathematics
por: Normann, Dag, et al.
Publicado: (2024)

Approximation theorems throughout Reverse Mathematics
por: Sanders, Sam
Publicado: (2023)

Big in Reverse Mathematics: measure and category
por: Sanders, Sam
Publicado: (2023)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
por: Kirst, Dominik, et al.
Publicado: (2026)

The Provably Total Set-Recursive Functions of KPl
por: Aguilera, Juan Pablo, et al.
Publicado: (2025)

Formalization of dependent type theory: The example of CaTT
por: Benjamin, Thibaut
Publicado: (2021)

Monoidal weak omega-categories as models of a type theory
por: Benjamin, Thibaut
Publicado: (2021)

On two recent extensions of the Big Five of Reverse Mathematics
por: Normann, Dag, et al.
Publicado: (2024)

Meta-Mathematics of Computational Complexity Theory
por: Oliveira, Igor C.
Publicado: (2025)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
por: Kulshreshtha, Dhruv
Publicado: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
por: Lyon, Tim S.
Publicado: (2024)

Invertible cells in $ω$-categories
por: Benjamin, Thibaut, et al.
Publicado: (2024)

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

Reverse mathematics and dimension of posets
por: Marcone, Alberto, et al.
Publicado: (2026)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
por: Contente, Michele, et al.
Publicado: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
por: Houérou, Quentin Le, et al.
Publicado: (2024)

Compositional Reversible Computation
por: Carette, Jacques, et al.
Publicado: (2024)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
por: Bernardo, Marco, et al.
Publicado: (2024)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
por: Bernardo, Marco, et al.
Publicado: (2022)

Mathematical Informatics: Algorithms
por: Seiller, Thomas
Publicado: (2026)

An Axiomatic Theory for Reversible Computation
por: Lanese, Ivan, et al.
Publicado: (2023)

Effective Versions of Strong Measure Zero
por: Rayman, Matthew
Publicado: (2025)

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
por: Müller, Sandra
Publicado: (2024)

A type theory for invertibility in weak $ω$-categories
por: Benjamin, Thibaut, et al.
Publicado: (2026)

Globular weak $ω$-categories as models of a type theory
por: Benjamin, Thibaut, et al.
Publicado: (2021)

Measurable Vizing's theorem
por: Grebík, Jan
Publicado: (2023)