The following pages link to (Q4215632):
Displaying 34 items.
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete (Q344560) (← links)
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- The provably total NP search problems of weak second order bounded arithmetic (Q639650) (← links)
- The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- Degrees of relative provability (Q691125) (← links)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- Parameter-free polymorphic types (Q958481) (← links)
- A decidable characterization of the classes between lintime and exptime (Q1045888) (← links)
- A slow growing analogue to Buchholz' proof (Q1182465) (← links)
- Functoroids and ptykoids (Q1345902) (← links)
- A note on iterated consistency and infinite proofs (Q1734260) (← links)
- Elementary arithmetic (Q1772782) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Reverse mathematics and Peano categoricity (Q1935867) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Short proofs for slow consistency (Q2176406) (← links)
- A meaning based information theory - informalogical space: basic concepts and convergence of information sequences (Q2269790) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Ackermann's substitution method (remixed) (Q2503393) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- (Q2776806) (← links)
- Complexity Hierarchies beyond Elementary (Q2828216) (← links)
- Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension (Q2845566) (← links)
- Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)
- Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem (Q3576063) (← links)
- (Q4133625) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
- Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418) (← links)
- A WALK WITH GOODSTEIN (Q6204143) (← links)
- A walk with Goodstein and Ackermann (Q6589313) (← links)
- Witnessing flows in arithmetic (Q6646013) (← links)
