SU\G(𝔸)/K·U

A note on iterated consistency and infinite proofs

Anton Freund

Type: Article

Publication Date: 2018-07-13

Citations: 0

DOI: https://doi.org/10.1007/s00153-018-0639-y

Locations

  • Archive for Mathematical Logic - View
  • arXiv (Cornell University) - View - PDF
  • DataCite API - View

Similar Works

Action Title Year Authors
+ PDF Chat Well ordering principles for iterated $$\Pi ^1_1$$-comprehension 2023 Anton Freund
Michael Rathjen
+ Well ordering principles for iterated $Π^1_1$-comprehension 2021 Anton Freund
Michael Rathjen
+ Reducing $\omega$-model reflection to iterated syntactic reflection 2021 Fedor Pakhomov
James Walsh
+ Reducing $ω$-model reflection to iterated syntactic reflection 2021 Fedor Pakhomov
James A. Walsh
+ Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection 2015 Toshiyasu Arai
+ The art of ordinal analysis 2007 Michael Rathjen
+ Ordinal Analysis with an Introduction to Proof Theory 2020 Toshiyasu Arai
+ The $\Pi^1_2$ Consequences of a Theory 2021 Juan P. Aguilera
Fedor Pakhomov
+ Lecture notes : Recent (and not that recent) forcing techniques on finite support iterations (Iterated Forcing Theory and Cardinal Invariants) 2018 Diego A. Mejía
+ Reflection ranks via infinitary derivations 2021 Fedor Pakhomov
James Walsh
+ PDF Chat Effectivity and reducibility with ordinal Turing machines 2021 Merlin Carl
+ Infinite trees and completely iterative theories: a coalgebraic view 2003 Peter Aczel
Jiřı́ Adámek
Stefan Milius
Jiřı́ Velebil
+ Generalized ordinal analysis and reflection principles in set theory 2023 Hanul Jeon
James Walsh
+ Ordinal Recursion Theory 1996 Chi Tat Chong
Sy D. Friedman
+ Ordinal Recursion Theory 1996 Chi Tat Chong
Sy D. Friedman
+ The $Π^1_2$ Consequences of a Theory 2021 Juan P. Aguilera
Fedor Pakhomov
+ PDF Chat The Π21$\Pi ^1_2$ consequences of a theory 2022 Juan P. Aguilera
Fedor Pakhomov
+ Proof-theoretic strengths of weak theories for positive inductive definitions 2016 Toshiyasu Arai
+ A Uniform Characterization of $Σ_1$-Reflection over the Fragments of Peano Arithmetic 2015 Anton Freund
+ Constructive Theory of Ordinals 2023 Thierry Coquand
Henri Lombardi
Stefan Neuwirth

Works That Cite This (0)

Action Title Year Authors

Works Cited by This (0)

Action Title Year Authors