Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2509.18848 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)
by: Kamsma, Mark, et al.
Published: (2024)
Makkai's lost proof of projectivity of N in the free topos
by: Forssell, Henrik, et al.
Published: (2026)
by: Forssell, Henrik, et al.
Published: (2026)
There is No Composition in the Computable Reducibility Degrees
by: Mourad, Daniel
Published: (2024)
by: Mourad, Daniel
Published: (2024)
Interpretation functors which are full on pure-injective modules with applications to $R$-torsion-free modules over $R$-orders
by: Gregory, Lorna
Published: (2024)
by: Gregory, Lorna
Published: (2024)
Decidability of the theory of modules over Prüfer domains with infinite residue fields
by: Gregory, Lorna, et al.
Published: (2017)
by: Gregory, Lorna, et al.
Published: (2017)
Decidability of the theory of modules over Prüfer domains with dense value groups
by: Gregory, Lorna, et al.
Published: (2019)
by: Gregory, Lorna, et al.
Published: (2019)
Deconstructible abstract elementary classes of modules and categoricity
by: Šaroch, Jan, et al.
Published: (2023)
by: Šaroch, Jan, et al.
Published: (2023)
First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)
by: Ghilardi, Silvio, et al.
Published: (2025)
Wild generalised truncation of infinite matroids
by: Gollin, J. Pascal, et al.
Published: (2025)
by: Gollin, J. Pascal, et al.
Published: (2025)
Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)
by: Cabbolet, Marcoen J. T. F.
Published: (2024)
Ramsey-like theorems and immunities
by: Mimouni, Ahmed, et al.
Published: (2025)
by: Mimouni, Ahmed, et al.
Published: (2025)
Independence and Induction in Reverse Mathematics
by: Belanger, David, et al.
Published: (2024)
by: Belanger, David, et al.
Published: (2024)
Periodic frames
by: Beklemishev, Lev D., et al.
Published: (2024)
by: Beklemishev, Lev D., et al.
Published: (2024)
Decidability for the theory of modules over a Prüfer domain
by: Gregory, Lorna
Published: (2021)
by: Gregory, Lorna
Published: (2021)
Countable models of weakly quasi-o-minimal theories I
by: Moconja, Slavko, et al.
Published: (2024)
by: Moconja, Slavko, et al.
Published: (2024)
Filters on a countable vector space
by: Smythe, Iian B.
Published: (2021)
by: Smythe, Iian B.
Published: (2021)
Mad families of vector subspaces and the smallest nonmeager set of reals
by: Smythe, Iian B.
Published: (2019)
by: Smythe, Iian B.
Published: (2019)
The *-variation of the Banach-Mazur game and forcing axioms
by: Yoshinobu, Yasuo
Published: (2015)
by: Yoshinobu, Yasuo
Published: (2015)
On two recent extensions of the Big Five of Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)
by: Normann, Dag, et al.
Published: (2024)
A note on continuous functions on metric spaces
by: Sanders, Sam
Published: (2024)
by: Sanders, Sam
Published: (2024)
On sequential theorems in Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)
by: Normann, Dag, et al.
Published: (2024)
Coding is hard
by: Sanders, Sam
Published: (2024)
by: Sanders, Sam
Published: (2024)
A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
by: Kulshreshtha, Dhruv
Published: (2024)
by: Kulshreshtha, Dhruv
Published: (2024)
Approximation theorems throughout Reverse Mathematics
by: Sanders, Sam
Published: (2023)
by: Sanders, Sam
Published: (2023)
Open questions about Ramsey-type statements in reverse mathematics
by: Patey, Ludovic
Published: (2015)
by: Patey, Ludovic
Published: (2015)
Connecting real and hyperarithmetical analysis
by: Sanders, Sam
Published: (2024)
by: Sanders, Sam
Published: (2024)
Tarski's Undefinability Theorem and first-order arithmetic
by: Boyce, Stephen
Published: (2010)
by: Boyce, Stephen
Published: (2010)
Big in Reverse Mathematics: measure and category
by: Sanders, Sam
Published: (2023)
by: Sanders, Sam
Published: (2023)
On countability and representations
by: Sanders, Sam
Published: (2026)
by: Sanders, Sam
Published: (2026)
The uncountability of the reals and the Axiom of Choice
by: Normann, Dag, et al.
Published: (2026)
by: Normann, Dag, et al.
Published: (2026)
Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)
by: Jubin, Benoit
Published: (2022)
A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)
by: Eberl, Matthias
Published: (2024)
$Π^0_4$ conservation of the Ordered Variable Word theorem
by: Houérou, Quentin Le, et al.
Published: (2024)
by: Houérou, Quentin Le, et al.
Published: (2024)
$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)
by: Houérou, Quentin Le, et al.
Published: (2024)
Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)
by: Patey, Ludovic, et al.
Published: (2026)
One Form of Successive Approximation Method and Choice Problem
by: Bulitko, Valeriy K.
Published: (2000)
by: Bulitko, Valeriy K.
Published: (2000)
Automatic structures and the problem of natural well-orderings
by: Beklemishev, Lev D., et al.
Published: (2024)
by: Beklemishev, Lev D., et al.
Published: (2024)
On Friedman's Property
by: Jakob, Hannes
Published: (2024)
by: Jakob, Hannes
Published: (2024)
Homotopical inverse diagrams in categories with attributes
by: Kapulkin, Chris, et al.
Published: (2018)
by: Kapulkin, Chris, et al.
Published: (2018)
On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)
by: Pakhomov, Fedor, et al.
Published: (2024)