Image de couverture de livre

Fragments of arithmetic and cyclic proofs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Beklemishev, Lev D., Shamkanov, Daniyar S., Smirnov, Ivan N.
Format:	Preprint
Publié:	2025
Sujets:	Logic 03F07, 03F30
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Nested Sequents for Provability Logic GLP
par: Shamkanov, Daniyar
Publié: (2014)

On the unification problem for GLP
par: Beklemishev, Lev D.
Publié: (2024)

Categorical structure in coherent theory of arithmetic
par: Ye, Lingyuan
Publié: (2023)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
par: Buriola, Gabriele, et autres
Publié: (2025)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

Herbrand's Theorem: a short statement and a model-theoretic proof
par: Badano, Mariana
Publié: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
par: Shamkanov, Daniyar
Publié: (2021)

Well-quasi-orders on finite trees and transfinite sequences
par: Chopra, Alakh Dhruv, et autres
Publié: (2026)

Automatic structures and the problem of natural well-orderings
par: Beklemishev, Lev D., et autres
Publié: (2024)

On Nash-Williams' Theorem regarding sequences with finite range
par: Pakhomov, Fedor, et autres
Publié: (2024)

Tarski's Undefinability Theorem and first-order arithmetic
par: Boyce, Stephen
Publié: (2010)

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I
par: Freund, Anton
Publié: (2024)

Non-Compact Proofs
par: Artemov, Sergei
Publié: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
par: Artemov, Sergei
Publié: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
par: Artemov, Sergei
Publié: (2024)

Coherence for logicians
par: Petric, Zoran, et autres
Publié: (2024)

Proof-theoretic dilator and intermediate pointclasses
par: Jeon, Hanul
Publié: (2025)

On the Various Translations between Classical, Intuitionistic and Linear Logic
par: Ferreira, Gilda, et autres
Publié: (2024)

Completions of Restricted Complexity I, Weak Arithmetical Theories
par: Enayat, Ali, et autres
Publié: (2025)

From Numbers to Container Strings
par: Visser, Albert
Publié: (2024)

On Rosser theories
par: Cheng, Yong
Publié: (2024)

Pour-El's Landscape
par: Kurahashi, Taishi, et autres
Publié: (2023)

There are no minimal effectively inseparable theories
par: Cheng, Yong
Publié: (2022)

Extensional Independence
par: Kurahashi, Taishi, et autres
Publié: (2025)

On a Question of Hamkins'
par: Visser, Albert
Publié: (2025)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
par: Anttila, Aleksi, et autres
Publié: (2025)

Finite Combinatorics and Fragments of Arithmetic
par: Wang, Wei
Publié: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
par: Freund, Anton
Publié: (2021)

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

On the hierarchy of natural theories
par: Walsh, James
Publié: (2021)

Bilateralism with incompatible proofs and refutations
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
par: Hori, Hiromasa, et autres
Publié: (2023)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)

Reduced Set Theory
par: Kunik, Matthias
Publié: (2023)

Tightness and solidity in fragments of Peano Arithmetic
par: Gruza, Piotr, et autres
Publié: (2025)

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

Avoiding logical strength in real analysis
par: Freund, Anton, et autres
Publié: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
par: Uftring, Patrick
Publié: (2022)

The limitless First Incompleteness Theorem
par: Cheng, Yong
Publié: (2021)

Feferman's completeness theorem
par: Pakhomov, Fedor, et autres
Publié: (2024)