Deducibility and independence in Beklemishev's autonomous provability calculus
From MaRDI portal
Publication:2672664
DOI10.1016/J.IC.2021.104758OpenAlexW3158959404WikidataQ114014314 ScholiaQ114014314MaRDI QIDQ2672664
David Fernández-Duque, Eduardo Hermo Reyes
Publication date: 13 June 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2008.13445
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions
- Positive provability logic for uniform reflection principles
- On provability logics with linearly ordered modalities
- Topological completeness of the provability logic GLP
- Proof theory. The first step into impredicativity
- Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt
- On the reflection calculus with partial conservativity operators
- A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
- Provability algebras and proof-theoretic ordinals. I
- Ackermannian Goodstein sequences of intermediate growth
- On the positive fragment of the polymodal provability logic GLP
- The polytopologies of transfinite provability logic
- A Topological Study of the Closed Fragment of GLP
- Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
- Well-orders in the transfinite Japaridze algebra
- The Worm Calculus
- Relational Semantics for the Turing Schmerl Calculus
- On strong provability predicates and the associated modal logics
- Models of transfinite provability logic
- Systems of predicative analysis
- Reflection calculus and conservativity spectra
This page was built for publication: Deducibility and independence in Beklemishev's autonomous provability calculus
