Остановите войну!
for scientists:
default search action
Andreas Weiermann
- > Home > Persons > Andreas Weiermann
Publications
- 2024
- [j51]David Fernández-Duque, Andreas Weiermann:
A Walk with Goodstein. Bull. Symb. Log. 30(1): 1-19 (2024) - 2022
- [j50]David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstnatinos Papafilippou, Andreas Weiermann:
Arithmetical and Hyperarithmetical Worm Battles. J. Log. Comput. 32(8): 1558-1584 (2022) - 2021
- [j49]Toshiyasu Arai, Stanley S. Wainer, Andreas Weiermann:
Goodstein sequences based on a Parametrized Ackermann-Péter function. Bull. Symb. Log. 27(2): 168-186 (2021) - [e1]Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque:
Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings. Lecture Notes in Computer Science 12813, Springer 2021, ISBN 978-3-030-80048-2 [contents] - 2020
- [c11]David Fernández-Duque, Andreas Weiermann:
Ackermannian Goodstein Sequences of Intermediate Growth. CiE 2020: 163-174 - [i2]Anton Freund, Michael Rathjen, Andreas Weiermann:
Minimal bad sequences are necessary for a uniform Kruskal theorem. CoRR abs/2001.06380 (2020) - 2017
- [j48]Jeroen Van der Meeren, Michael Rathjen, Andreas Weiermann:
An order-theoretic characterization of the Howard-Bachmann-hierarchy. Arch. Math. Log. 56(1-2): 79-118 (2017) - [j47]Michael Rathjen, Jeroen Van der Meeren, Andreas Weiermann:
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition. Arch. Math. Log. 56(5-6): 607-638 (2017) - 2015
- [j45]Jeroen Van der Meeren, Michael Rathjen, Andreas Weiermann:
Well-partial-orderings and the big Veblen number. Arch. Math. Log. 54(1-2): 193-230 (2015) - [c10]Jeroen Van der Meeren, Andreas Weiermann:
How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems. CiE 2015: 353-362 - 2013
- [j44]Sy-David Friedman, Michael Rathjen, Andreas Weiermann:
Slow consistency. Ann. Pure Appl. Log. 164(3): 382-393 (2013) - 2011
- [j36]Lorenzo Carlucci, Gyesik Lee, Andreas Weiermann:
Sharp thresholds for hypergraph regressive Ramsey numbers. J. Comb. Theory, Ser. A 118(2): 558-585 (2011) - 2009
- [j33]Eran Omri, Andreas Weiermann:
Classifying the phase transition threshold for Ackermannian functions. Ann. Pure Appl. Log. 158(3): 156-162 (2009) - 2008
- [j32]Menachem Kojman, Gyesik Lee, Eran Omri, Andreas Weiermann:
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers. J. Comb. Theory, Ser. A 115(6): 1036-1055 (2008) - 2003
- [c2]Georg Moser, Andreas Weiermann:
Relating Derivation Lengths with the Slow-Growing Hierarchy Directly. RTA 2003: 296-310 - 2000
- [j20]Arnold Beckmann, Andreas Weiermann:
Characterizing the elementary recursive functions by a fragment of Gödel's T. Arch. Math. Log. 39(7): 475-491 (2000) - [j19]Arnold Beckmann, Andreas Weiermann:
Analyzing Gödel's T Via Expanded Head Reduction Trees. Math. Log. Q. 46(4): 517-536 (2000) - 1997
- [j14]E. A. Cichon, Andreas Weiermann:
Term Rewriting Theory for the Primitive Recursive Functions. Ann. Pure Appl. Log. 83(3): 199-223 (1997) - 1996
- [j12]Arnold Beckmann, Andreas Weiermann:
A term rewriting characterization of the polytime functions and related complexity classes. Arch. Math. Log. 36(1): 11-30 (1996) - 1993
- [j5]Michael Rathjen, Andreas Weiermann:
Proof-Theoretic Investigations on Kruskal's Theorem. Ann. Pure Appl. Log. 60(1): 49-88 (1993)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-15 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint