On the public citation graph
Ordinal notations based on a weakly Mahlo cardinal
0 signed · 54 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-540-46825-7openalex-snapshot
Proof Theory: An Introduction
inferredcites →https://doi.org/10.1007/bf01625837openalex-snapshot
Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger
inferredcites →https://doi.org/10.1007/bf02007140openalex-snapshot
ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
inferredcites →https://doi.org/10.1007/bfb0079544openalex-snapshot
Normalfunktionen und Konstruktive Systeme von Ordinalzahlen
inferredcites →https://doi.org/10.1007/bfb0091894openalex-snapshot
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
inferredcites →https://doi.org/10.1016/0168-0072(86)90052-7openalex-snapshot
A new system of proof-theoretic ordinal functions
inferredcites →https://doi.org/10.1016/0168-0072(87)90079-0openalex-snapshot
Ordinal notations based on a hierarchy of inaccessible cardinals
inferredcites →https://doi.org/10.1016/s0049-237x(08)70580-9openalex-snapshot
The Superjump and the First Recursively Mahlo Ordinal
inferredcites →https://doi.org/10.1016/s0049-237x(08)71233-3openalex-snapshot
Recursively Mahlo Ordinals and Inductive Definitions
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7091-0openalex-snapshot
Set Theory - An Introduction to Large Cardinals
inferredcites →https://doi.org/10.5282/ubm/epub.3840openalex-snapshot
Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19920380142openalex-snapshot
A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
inferred← citeshttps://doi.org/10.1002/malq.19960420106openalex-snapshot
The Recursively Mahlo Property in Second Order Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-030-49424-7_21openalex-snapshot
A Glimpse of $$ \sum_{3} $$-elementarity
inferred← citeshttps://doi.org/10.1007/978-3-030-49424-7_24openalex-snapshot
Zur Beweistheorie Von KPM
inferred← citeshttps://doi.org/10.1007/978-3-319-29198-7_1openalex-snapshot
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3_4openalex-snapshot
A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
inferred← citeshttps://doi.org/10.1007/978-3-540-73001-9_65openalex-snapshot
Theories and Ordinals: Ordinal Analysis
inferred← citeshttps://doi.org/10.1007/978-3-662-22108-2_16openalex-snapshot
The Higher Infinite in Proof Theory
inferred← citeshttps://doi.org/10.1007/978-3-7643-8653-5_16openalex-snapshot
Proof theory and Martin-Löf Type Theory
inferred← citeshttps://doi.org/10.1007/bf01275469openalex-snapshot
Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
inferred← citeshttps://doi.org/10.1007/bf01387761openalex-snapshot
Vereinfachte Kollabierungsfunktionen und ihre Anwendungen
inferred← citeshttps://doi.org/10.1007/s00153-002-0159-6openalex-snapshot
Realizing Mahlo set theory in type theory
inferred← citeshttps://doi.org/10.1007/s00153-005-0308-9openalex-snapshot
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
inferred← citeshttps://doi.org/10.1007/s001530050140openalex-snapshot
Extending Martin-Löf Type Theory by one Mahlo-universe
inferred← citeshttps://doi.org/10.1016/0168-0072(94)90074-4openalex-snapshot
Proof theory of reflection
inferred← citeshttps://doi.org/10.1016/j.apal.2006.07.003openalex-snapshot
Ordinal arithmetic based on Skolem hulling
inferred← citeshttps://doi.org/10.1016/j.apal.2013.07.016openalex-snapshot
Relativized ordinal analysis: The case of Power Kripke–Platek set theory
inferred← citeshttps://doi.org/10.1016/j.apal.2021.103001openalex-snapshot
Pure Σ2-elementarity beyond the core
inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80041-8openalex-snapshot
Admissible proof theory and beyond
inferred← citeshttps://doi.org/10.1016/s0168-0072(02)00065-9openalex-snapshot
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe
inferred← citeshttps://doi.org/10.1016/s0168-0072(02)00096-9openalex-snapshot
Induction–recursion and initial algebras
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00072-9openalex-snapshot
Inaccessibility in constructive set theory and type theory
inferred← citeshttps://doi.org/10.1017/9781316716830.019openalex-snapshot
The Higher Infinite in Proof Theory
inferred← citeshttps://doi.org/10.1017/9781316718254.003openalex-snapshot
A note on the ordinal analysis of KPM
inferred← citeshttps://doi.org/10.1017/9781316755983.003openalex-snapshot
Relating ordinals to proofs in a perspicuous way
inferred← citeshttps://doi.org/10.1017/9781316756140.027openalex-snapshot
The Superjump in Martin-Löf Type Theory
inferred← citeshttps://doi.org/10.1017/cbo9780511896262.006openalex-snapshot
A simplified version of local predicativity
inferred← citeshttps://doi.org/10.1023/a:1005152527817openalex-snapshot
A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems
inferred← citeshttps://doi.org/10.1093/9780197784402.003.0015openalex-snapshot
Predicativity of the Mahlo Universe in Type Theory
inferred← citeshttps://doi.org/10.1093/logcom/exaa020openalex-snapshot
Power Kripke–Platek set theory and the axiom of choice
inferred← citeshttps://doi.org/10.1093/logcom/exad022openalex-snapshot
The extended predicative Mahlo universe in Martin-Löf type theory
inferred← citeshttps://doi.org/10.1142/s0219061319500016openalex-snapshot
On the mathematical and foundational significance of the uncountable
inferred← citeshttps://doi.org/10.1515/9783110324907.315openalex-snapshot
An Extended Predicative Definition of the Mahlo Universe
inferred← citeshttps://doi.org/10.2307/2275203openalex-snapshot
European Summer Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.2307/797967openalex-snapshot
The Superjump in Martin-Lof Type Theory
inferred← citeshttps://doi.org/10.4288/jafpos.20.0_29openalex-snapshot
A Sneak Preview of Proof Theory of Ordinals( Infinity in Philosophy and Mathematics)
inferred← citeshttps://doi.org/10.4288/kisoron.39.2_93openalex-snapshot
Proof Theory as an Analysis of Impredicativity( New Developments in Logic: Proof-Theoretic Ordinals and Set-Theoretic Ordinals)
inferred← citeshttps://doi.org/10.48550/arxiv.1102.0596openalex-snapshot
A sneak preview of proof theory of ordinals
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.