Imagen de Portada

Fragments of arithmetic and cyclic proofs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Beklemishev, Lev D., Shamkanov, Daniyar S., Smirnov, Ivan N.
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03F07, 03F30
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Nested Sequents for Provability Logic GLP
por: Shamkanov, Daniyar
Publicado: (2014)

On the unification problem for GLP
por: Beklemishev, Lev D.
Publicado: (2024)

Categorical structure in coherent theory of arithmetic
por: Ye, Lingyuan
Publicado: (2023)

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

On the relationships between some meta-mathematical properties of arithmetical theories
por: Cheng, Yong
Publicado: (2023)

Herbrand's Theorem: a short statement and a model-theoretic proof
por: Badano, Mariana
Publicado: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
por: Shamkanov, Daniyar
Publicado: (2021)

Well-quasi-orders on finite trees and transfinite sequences
por: Chopra, Alakh Dhruv, et al.
Publicado: (2026)

Automatic structures and the problem of natural well-orderings
por: Beklemishev, Lev D., et al.
Publicado: (2024)

On Nash-Williams' Theorem regarding sequences with finite range
por: Pakhomov, Fedor, et al.
Publicado: (2024)

Tarski's Undefinability Theorem and first-order arithmetic
por: Boyce, Stephen
Publicado: (2010)

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

Non-Compact Proofs
por: Artemov, Sergei
Publicado: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
por: Artemov, Sergei
Publicado: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
por: Artemov, Sergei
Publicado: (2024)

Coherence for logicians
por: Petric, Zoran, et al.
Publicado: (2024)

Proof-theoretic dilator and intermediate pointclasses
por: Jeon, Hanul
Publicado: (2025)

On the Various Translations between Classical, Intuitionistic and Linear Logic
por: Ferreira, Gilda, et al.
Publicado: (2024)

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

From Numbers to Container Strings
por: Visser, Albert
Publicado: (2024)

On Rosser theories
por: Cheng, Yong
Publicado: (2024)

Pour-El's Landscape
por: Kurahashi, Taishi, et al.
Publicado: (2023)

There are no minimal effectively inseparable theories
por: Cheng, Yong
Publicado: (2022)

Extensional Independence
por: Kurahashi, Taishi, et al.
Publicado: (2025)

On a Question of Hamkins'
por: Visser, Albert
Publicado: (2025)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
por: Anttila, Aleksi, et al.
Publicado: (2025)

Finite Combinatorics and Fragments of Arithmetic
por: Wang, Wei
Publicado: (2025)

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

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

On the hierarchy of natural theories
por: Walsh, James
Publicado: (2021)

Bilateralism with incompatible proofs and refutations
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
por: Hori, Hiromasa, et al.
Publicado: (2023)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
por: Santo, José Espírito, et al.
Publicado: (2020)

Reduced Set Theory
por: Kunik, Matthias
Publicado: (2023)

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

Effective inseparability and some applications in meta-mathematics
por: Cheng, Yong
Publicado: (2022)

Avoiding logical strength in real analysis
por: Freund, Anton, et al.
Publicado: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
por: Uftring, Patrick
Publicado: (2022)

The limitless First Incompleteness Theorem
por: Cheng, Yong
Publicado: (2021)

Feferman's completeness theorem
por: Pakhomov, Fedor, et al.
Publicado: (2024)