Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.01728 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)
by: Koshkin, Sergiy
Published: (2024)
The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)
by: Barsukov, Alexey, et al.
Published: (2023)
Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)
by: Gonzalez, David, et al.
Published: (2023)
A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)
by: Prunescu, Mihai, et al.
Published: (2025)
Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)
by: Gonzalez, David, et al.
Published: (2025)
The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)
by: Camerlo, Riccardo, et al.
Published: (2026)
Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)
by: Japaridze, Giorgi
Published: (2026)
Generalized Schatunowsky theorem in a weak arithmetic
by: King, Hala, et al.
Published: (2025)
by: King, Hala, et al.
Published: (2025)
Exploring P versus NP
by: Tang, Jian-Gang
Published: (2022)
by: Tang, Jian-Gang
Published: (2022)
Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)
by: Anand, Bhupinder Singh
Published: (2024)
Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)
by: Aguilera, Juan P., et al.
Published: (2024)
On piecewise hyperdefinable groups
by: Fanlo, Arturo Rodriguez
Published: (2020)
by: Fanlo, Arturo Rodriguez
Published: (2020)
Analogues of the countable Borel equivalence relations in the setting of computable reducibility
by: Andrews, Uri, et al.
Published: (2024)
by: Andrews, Uri, et al.
Published: (2024)
Open Problems in Computability Theory and Descriptive Set Theory
by: Barmpalias, George, et al.
Published: (2025)
by: Barmpalias, George, et al.
Published: (2025)
The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)
by: Cipriani, Vittorio, et al.
Published: (2022)
AC and the Independence of WO in Second-Order Henkin Logic, Part I
by: Gaßner, Christine
Published: (2024)
by: Gaßner, Christine
Published: (2024)
Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026)
by: Honzik, Radek
Published: (2026)
Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)
by: Chajda, Ivan, et al.
Published: (2024)
The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)
by: Galatos, Nick, et al.
Published: (2026)
Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)
Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)
by: Freund, Anton
Published: (2024)
Computable vs Descriptive Combinatorics of Local Problems on Trees
by: Weilacher, Felix
Published: (2022)
by: Weilacher, Felix
Published: (2022)
On models of affine arithmetic
by: Bagheri, Seyed-Mohammad
Published: (2025)
by: Bagheri, Seyed-Mohammad
Published: (2025)
The strength of Ramsey's theorem for $α$-large sets
by: Carlucci, Lorenzo, et al.
Published: (2026)
by: Carlucci, Lorenzo, et al.
Published: (2026)
Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2025)
by: Liu, Yong, et al.
Published: (2025)
Isolated d.c.e. degrees and $Σ_1$ induction
by: Liu, Yiqun, et al.
Published: (2025)
by: Liu, Yiqun, et al.
Published: (2025)
Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)
by: Liu, Yong, et al.
Published: (2026)
Borel complexity of families of finite equivalence relations via large cardinals
by: Laskowski, Michael C., et al.
Published: (2024)
by: Laskowski, Michael C., et al.
Published: (2024)
Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
by: Banerjee, Rishi, et al.
Published: (2024)
by: Banerjee, Rishi, et al.
Published: (2024)
Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)
by: Li, Ang
Published: (2024)
Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)
by: Wilken, Gunnar
Published: (2024)
Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)
by: Wilken, Gunnar
Published: (2025)
A representation theorem for measurable relation algebras with cyclic groups
by: Andréka, Hajnal, et al.
Published: (2018)
by: Andréka, Hajnal, et al.
Published: (2018)
A representation theorem for measurable relation algebras
by: Givant, S., et al.
Published: (2018)
by: Givant, S., et al.
Published: (2018)
Coset relation algebras
by: Andréka, H., et al.
Published: (2018)
by: Andréka, H., et al.
Published: (2018)
Measurable Regular Subgraphs
by: Bowen, Matt, et al.
Published: (2024)
by: Bowen, Matt, et al.
Published: (2024)
Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2021)
by: Amato, Gianluca, et al.
Published: (2021)
Generating ideals by additive subgroups of rings
by: Krupiński, Krzysztof, et al.
Published: (2020)
by: Krupiński, Krzysztof, et al.
Published: (2020)
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)
Strong reducibilities and set theory
by: Schweber, Noah
Published: (2024)
by: Schweber, Noah
Published: (2024)