Cover Image

Finite Combinatorics and Fragments of Arithmetic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Wang, Wei
Format:	Preprint
Published:	2025
Subjects:	Logic 03F30, 03C20, 03H15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
by: Liu, Yiqun, et al.
Published: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

Fragments of arithmetic and cyclic proofs
by: Beklemishev, Lev D., et al.
Published: (2025)

On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)

Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)

From Gödel incompleteness to the consistency of circuit lower bounds
by: Atserias, Albert, et al.
Published: (2026)

Generalized Schatunowsky theorem in a weak arithmetic
by: King, Hala, et al.
Published: (2025)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)

Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)

Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)

Inner ultrahomogeneous groups
by: Rzepecki, Tomasz
Published: (2024)

On models of affine arithmetic
by: Bagheri, Seyed-Mohammad
Published: (2025)

Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)

The Lattice Problem for Models of $\mathsf{PA}$
by: Abdul-Quader, Athar, et al.
Published: (2024)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)

Generic groups and the weak amalgamation property
by: Ivanov, Aleksander, et al.
Published: (2024)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

Is Peirce's reduction thesis gerrymandered?
by: Koshkin, Sergiy
Published: (2024)

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
by: Buriola, Gabriele, et al.
Published: (2025)

Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)

Forcing with random variables in bounded arithmetics and set theory
by: Honzik, Radek
Published: (2026)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)