Search results

Anton Freund
types 2024-11-12 Paper Well ordering principles for iterated $\Pi^1_1$-comprehension 2023-10-30 Paper An Introduction to Mathematical Logic 2023-10-15...

10 bytes (13 words) - 02:23, 25 September 2023
Michael Rathjen
constructively 2024-01-08 Paper Well ordering principles for iterated $\Pi^1_1$-comprehension 2023-10-30 Paper The Art of Measuring the Strength of Theories 2023-10-16...

10 bytes (13 words) - 05:44, 9 December 2023
Kanji Namba
Extension Operators 1970-01-01 Paper Real-valued measurable cardinals and $\sum _1^1 $-transcendency of cardinals 1968-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5672905...

10 bytes (13 words) - 14:40, 6 October 2023
Stephen G. Simpson
Optimistic Message 2021-12-03 Paper Pseudojump inversion in special r. b. $\Pi^0_1$ classes 2021-02-11 Paper Turing Degrees of Hyperjumps 2021-01-21 Paper...

10 bytes (17 words) - 08:15, 7 October 2023
Christoph Heinatsch
Publication Type The determinacy strength of $\Pi_2^1$-comprehension 2011-08-26 Paper ${\Pi^1_2}$-comprehension and the property of Ramsey 2009-05-06 Paper...

10 bytes (13 words) - 10:04, 6 October 2023
Chris J. Conidis
model-theoretic properties 2009-03-23 Paper Effective packing dimension of $\Pi ^0_1$-classes 2008-10-24 Paper Tensor operators and constructing indecomposable...

10 bytes (15 words) - 19:00, 11 December 2023
Fedor N. Pakhomov
self‐comprehension 2023-09-20 Paper On the coprimeness relation from the viewpoint of monadic second-order logic 2023-09-02 Paper The Π21$\Pi ^1_2$ consequences...

10 bytes (15 words) - 14:07, 10 December 2023
Mariko Yasugi
Cut elimination theorem for second order arithmetic with the $\Pi^ 1_ 1$-comprehension axiom and the $\omega$-rule 1970-01-01 Paper https://portal.mardi4nfdi...

10 bytes (13 words) - 22:36, 22 September 2023
Vladimir Kanovei
good lightface $\varDelta_n^1$ well-ordering of the reals does not imply the existence of boldface $\mathbf{\Delta}_{n - 1}^1$ well-orderings 2024-04-04...

10 bytes (16 words) - 15:20, 6 December 2023
Michael Möllerfeld
Publication Date of Publication Type The determinacy strength of $\Pi_2^1$-comprehension 2011-08-26 Paper https://portal.mardi4nfdi.de/entity/Q3509078 2008-07-01...

10 bytes (13 words) - 10:04, 6 October 2023
Sato Kentaro
via intuitionistic theories. I: Operational set theory without choice is $\Pi_1$-equivalent to KP 2014-11-28 Paper...

10 bytes (13 words) - 09:33, 6 October 2023
Ulrich Kohlenbach
asymptotic regularity for Mann iterates. 2003-05-25 Paper Proof mining in $L_{1}$-approximation 2003-05-22 Paper https://portal.mardi4nfdi.de/entity/Q4793025...

10 bytes (16 words) - 13:04, 8 December 2023
Vassily Lyubetsky
good lightface $\varDelta_n^1$ well-ordering of the reals does not imply the existence of boldface $\mathbf{\Delta}_{n - 1}^1$ well-orderings 2024-04-04...

10 bytes (16 words) - 23:29, 9 December 2023
Kentaro Fujimoto
some second-order systems of iterated inductive definitions and $\Pi_1^1$-comprehensions and relevant subsystems of set theory 2015-02-04 Paper Classes and...

10 bytes (13 words) - 08:34, 7 October 2023
Ian Alexander Thomson
Publication Type Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension 2021-12-03 Paper...

10 bytes (15 words) - 20:31, 26 December 2023
$\Pi_1^1$-comprehension as a well-ordering principle
principles for iterated $\Pi^1_1$-comprehension 👍 👎 Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension 👍 👎 Title not available...

15 bytes (625 words) - 10:55, 2 February 2024
Well ordering principles for iterated $\Pi^1_1$-comprehension
PILOT STUDY $\Sigma_1$-wellorders without collapsing Intuitionistically provable recursive well-orderings $\Pi_1^1$-comprehension as a well-ordering...

15 bytes (702 words) - 06:00, 10 July 2024
Proof theory. The first step into impredicativity
ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION Well ordering principles for iterated $\Pi^1_1$-comprehension The implicit commitment...

15 bytes (592 words) - 17:42, 30 January 2024
Well-Ordering Principles in Proof Theory and Reverse Mathematics
recursion and $\Pi ^ 1_ 2$-logic Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) Introduction to $\Pi^1_2$-logic Intuitionism...

15 bytes (675 words) - 11:37, 8 February 2024
Introduction to $\Pi^1_2$-logic
principles for iterated $\Pi^1_1$-comprehension Natural well-orderings Functoroids and ptykoids $\Pi_1^1$-comprehension as a well-ordering principle...

15 bytes (322 words) - 06:47, 3 February 2024