Freund, Anton
162  results:
Search for persons X
?
8

Bachmann–Howard derivatives:

Freund, Anton
Archive for Mathematical Logic.  62 (2022)  5-6 - p. 581-618 , 2022
 
?
9

Bounds for a nonlinear ergodic theorem for Banach spaces:

FREUND, ANTON ; KOHLENBACH, ULRICH
Ergodic Theory and Dynamical Systems.  43 (2022)  5 - p. 1570-1593 , 2022
 
?
 
?
12

Derivatives of normal functions in reverse mathematics:

Freund, Anton ; Rathjen, Michael
Annals of Pure and Applied Logic.  172 (2021)  2 - p. 102890 , 2021
 
?
13

WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY:

FREUND, ANTON
The Journal of Symbolic Logic.  86 (2021)  2 - p. 709-745 , 2021
 
?
14

A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH:

FREUND, ANTON
The Review of Symbolic Logic.  15 (2021)  4 - p. 880-906 , 2021
 
?
15

HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?:

FREUND, ANTON
The Journal of Symbolic Logic.  85 (2020)  2 - p. 709-732 , 2020
 
1-15