A. Weiermann
发表
A. Weiermann,
2020,
2007.14111.
S. Wainer,
A. Weiermann,
T. Arai,
2019,
Proceedings of the American Mathematical Society.
A. Weiermann,
David Fern'andez-Duque,
Oriola Gjetaj,
2020,
2004.09117.
A. Weiermann,
David Fern'andez-Duque,
2020,
2004.09110.
A. Weiermann,
2020,
2007.09086.
A. Weiermann,
W. Hoof,
2012
.
A. Weiermann,
2017
.
Robert S. Lubarsky,
J. Schlage-Puchta,
A. Weiermann,
2013
.
Barbara F. Csima,
Christopher A. Pynes,
Clifton F. Ealy,
2018,
The Bulletin of Symbolic Logic.
A. Weiermann,
Georg Moser,
2003,
RTA.
Joseph R. Mileti,
Eran Omri,
A. Bovykin,
2006
.
A. Weiermann,
J. Vindas,
H. Vernaeve,
2013,
1303.2498.
A. Weiermann,
N. Eguchi,
2012,
1205.2879.
A. Weiermann,
2005
.
Jan van Eijck,
Vincent van Oostrom,
Albert Visser,
2016
.
A. Weiermann,
David Fern'andez-Duque,
2021,
2111.15328.
A. Weiermann,
Florian Pelupessy,
2008
.
M. Bunder,
A. Weiermann,
2006
.
V. Selivanov,
M. Seisenberger,
A. Weiermann,
2016
.
A. Weiermann,
F. Pakhomov,
J. Joosten,
2021,
J. Log. Comput..
A. Weiermann,
2004
.
A. Weiermann,
David Fern'andez-Duque,
2022,
2203.07758.
A. Weiermann,
L. Gordeev,
2011,
Archive for Mathematical Logic.
Harry Altman,
A. Weiermann,
2019
.
Harry Altman,
A. Weiermann,
2019,
1909.06719.
A. Weiermann,
M. Rathjen,
Jeroen Van der Meeren,
2017,
Archive for Mathematical Logic.
A. Weiermann,
M. Rathjen,
Jeroen Van der Meeren,
2016,
Archive for Mathematical Logic.
A. Weiermann,
M. Rathjen,
Jeroen Van der Meeren,
2014,
Archive for Mathematical Logic.
Benjamin Blankertz,
Andreas Weiermann,
B. Blankertz,
1996
.
Andreas Weiermann,
A. Weiermann,
1998,
Journal of Symbolic Logic.
A. Weiermann,
D. Plaumann,
T. D. Medts,
2013
.
H. Friedman,
A. Weiermann,
2023,
Philosophical Transactions of the Royal Society A.
Anton Freund,
Andreas Weiermann,
Michael Rathjen,
2020,
Advances in Mathematics.
A. Weiermann,
D. Schmidt,
Jeroen Van der Meeren,
2020
.
Monika Seisenberger,
Peter Schuster,
Andreas Weiermann,
2020
.
Andreas Weiermann,
A. Weiermann,
2007,
Math. Log. Q..
Andreas Weiermann,
A. Weiermann,
2003,
Journal of Symbolic Logic.
Andreas Weiermann,
A. Weiermann,
1993,
Math. Log. Q..
Gyesik Lee,
Andreas Weiermann,
Lorenzo Carlucci,
2011,
J. Comb. Theory, Ser. A.
Michiel De Smet,
Andreas Weiermann,
A. Weiermann,
2010,
CiE.
Eran Omri,
Gyesik Lee,
Andreas Weiermann,
2008,
J. Comb. Theory, Ser. A.
Andreas Weiermann,
Henryk Kotlarski,
Bozena Piekart,
2007,
Ann. Pure Appl. Log..
Andrey Bovykin,
Andreas Weiermann,
A. Bovykin,
2009
.
Gyesik Lee,
Andreas Weiermann,
Lorenzo Carlucci,
2006
.
J. P. Aguilera,
A. Weiermann,
F. Pakhomov,
2023,
Philosophical Transactions of the Royal Society A.
Andreas Weiermann,
A. Weiermann,
2009,
Ann. Pure Appl. Log..
Michael Rathjen,
Andreas Weiermann,
Jeroen Van der Meeren,
2015,
Arch. Math. Log..
Michael Rathjen,
Andreas Weiermann,
Jeroen Van der Meeren,
2014,
Arch. Math. Log..
Andreas Weiermann,
A. Weiermann,
2006,
CiE.
Andreas Weiermann,
A. Weiermann,
1994,
J. Symb. Comput..
Michael Rathjen,
Andreas Weiermann,
A. Weiermann,
1993,
Ann. Pure Appl. Log..
Andreas Weiermann,
Gunnar Wilken,
A. Weiermann,
2012,
Log. Methods Comput. Sci..
A. Weiermann,
David Fern'andez-Duque,
2022,
2203.07758.
Anton Freund,
Michael Rathjen,
Andreas Weiermann,
2020,
Pacific Journal of Mathematics.
Andreas Weiermann,
A. Weiermann,
2006,
Bulletin of Symbolic Logic.
Andreas Weiermann,
A. Weiermann,
2002,
Synthese.
Andreas Weiermann,
A. Weiermann,
1997,
Arch. Math. Log..
Andreas Weiermann,
A. Weiermann,
1995,
Arch. Math. Log..
Andreas Weiermann,
David Fern'andez-Duque,
A. Weiermann,
2020,
CiE.
A. Weiermann,
Aramaki Aza-Aoba,
Naohi Eguchi,
2012
.
Andreas Weiermann,
A. Weiermann,
2009,
CiE.
Andreas Weiermann,
A. Weiermann,
1997,
Ann. Pure Appl. Log..
Lew Gordeev,
Andreas Weiermann,
A. Weiermann,
2012,
Arch. Math. Log..
Andreas Weiermann,
Arnoud den Boer,
A. Weiermann,
2007,
J. Log. Comput..
Patrick Dehornoy,
Andreas Weiermann,
Lorenzo Carlucci,
2007,
0711.3785.
Michael Rathjen,
Sy-David Friedman,
Andreas Weiermann,
2013,
Ann. Pure Appl. Log..
Andreas Weiermann,
Lev Gordeev,
A. Weiermann,
2010
.
Andreas Weiermann,
A. Weiermann,
1976
.
Andreas Weiermann,
Gunnar Wilken,
A. Weiermann,
2011,
Math. Log. Q..
Andreas Weiermann,
A. Weiermann,
1996,
Journal of Symbolic Logic.
Andreas Weiermann,
Wilfried Buchholz,
Adam Cichon,
1994,
Math. Log. Q..
Andreas Weiermann,
A. Weiermann,
1995,
Theor. Comput. Sci..