Revision as of 03:34, 16 May 2025 edit AmatureHistorian47 (talk \| contribs) Extended confirmed users 965 edits Link suggestions feature: 3 links added. Tags: Visual edit Mobile edit Mobile web edit Newcomer task Suggested: add links ← Previous edit		Latest revision as of 19:30, 26 August 2025 edit undo InternetArchiveBot (talk \| contribs) Bots, Pending changes reviewers 5,671,413 edits Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5
Line 332: * {{cite journal \| last=Buchholz \| first=Wilfried \| title=A New System of Proof-Theoretic Ordinal Functions \| journal=Annals of Pure and Applied Logic \| volume=32 \| year=1986 \| pages=195–207 \| doi=10.1016/0168-0072(86)90052-7 \| url=https://epub.ub.uni-muenchen.de/3841/ \| doi-access=free }} * {{cite journal \| last=Rathjen \| first=Michael \| title=Proof-theoretic analysis of KPM \| journal=Archive for Mathematical Logic \| volume=30 \| year=1991 \| pages=377–403 \| doi=10.1007/BF01621475 \| issue=5–6 \| s2cid=9376863 }} * {{cite journal \| last=Rathjen \| first=Michael \| title=Proof theory of reflection \| journal=Annals of Pure and Applied Logic \| volume=68 \| year=1994 \| pages=181–224 \| url=http://www.maths.leeds.ac.uk/~rathjen/ehab.pdf \| doi=10.1016/0168-0072(94)90074-4 \| issue=2 \| archive-date=2020-10-21 \| access-date=2008-05-10 \| archive-url=https://web.archive.org/web/20201021105352/http://www1.maths.leeds.ac.uk/~rathjen/ehab.pdf \| url-status=dead }} * {{cite journal \| last=Rathjen \| first=Michael \| title=Recent Advances in Ordinal Analysis: <math>\Pi^1_2</math>-CA and Related Systems \| journal=The Bulletin of Symbolic Logic \| volume=1 \| year=1995 \| pages=468–485 \| url=https://www.math.ucla.edu/~asl/bsl/0104/0104-004.ps \| doi=10.2307/421132 \| jstor=421132 \| issue=4 \| s2cid=10648711 }} * {{cite journal \| last=Kahle \| first=Reinhard \| title=Mathematical proof theory in the light of ordinal analysis \| journal=Synthese \| volume=133 \| year=2002 \| pages=237–255 \| doi=10.1023/A:1020892011851 \| s2cid=45695465 }} * {{cite journal \| last=Rathjen \| first=Michael \| title=An ordinal analysis of stability \| journal=Archive for Mathematical Logic \| volume=44 \| year=2005 \| pages=1–62 \| url=http://www.maths.leeds.ac.uk/~rathjen/NSTAB.ps \| doi=10.1007/s00153-004-0226-2 \| citeseerx=10.1.1.15.9786 \| s2cid=2686302 \| archive-date=2022-12-20 \| access-date=2008-05-10 \| archive-url=https://web.archive.org/web/20221220161823/http://www1.maths.leeds.ac.uk/~rathjen/NSTAB.ps \| url-status=dead }} * {{cite web \| url=http://www.mathematik.uni-muenchen.de/~aehlig/EST/rathjen4.pdf \| title=Proof Theory: Part III, Kripke–Platek Set Theory \| accessdate=2008-04-17 \| last=Rathjen \| first=Michael \| date=August 2005 \| archive-url=https://web.archive.org/web/20070612112202/http://www.mathematik.uni-muenchen.de/~aehlig/EST/rathjen4.pdf \| archive-date=2007-06-12 \| url-status=dead }}(slides of a talk given at Fischbachau)

Ordinal collapsing function: Difference between revisions