Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/wiley/a-categorical-construction-of-bachmann-howard-fixed-points-fjcnOQBArW
References (33)
-
Anton Freund (2018)
Type-two well-ordering principles, admissible sets, and $\Pi _1^1$-comprehensionThe Bulletin of Symbolic Logic, 24
-
Anton Freund (2018)
Computable aspects of the Bachmann-Howard principleJ. Math. Log., 20
-
(2011)
Omega models and well-ordering principles, beta models and functors, Talk at the Reverse Mathematics Workshop -
(2009)
Ordinal functors and Π1 1 −CA0 -
Anton Freund (2018)
$\Pi^1_1$-Comprehension as a Well-Ordering Principle -
M. Rathjen (1992)
A proof-theoretic characterization of the primitive recursive set functionsJournal of Symbolic Logic, 57
-
(2009)
Subsystems of second order arithmetic, Perspectives in Logic (Cambridge -
S. Shapiro (2005)
The Oxford Handbook of Philosophy of Mathematics and Logic -
(1966)
Mathematical problems in logic -
(2014)
essays in honor of Harvey M -
Omega models and well-ordering principles, beta models and functors -
(1974)
Predicatively reducible systems of set theory -
S. Feferman (2007)
Predicativity -
(2014)
ω-models and well-ordering principles', Foundational adventures: essays in honor of Harvey -
(1971)
Primitive recursive set functions -
S. Simpson (1999)
Subsystems of second order arithmetic -
M. Rathjen, A. Weiermann (1993)
Proof-Theoretic Investigations on Kruskal's TheoremAnn. Pure Appl. Log., 60
-
Anton Freund (2017)
A Higher Bachmann-Howard PrinciplearXiv: Logic
-
S. Simpson (1982)
Set Theoretic Aspects of Atr0Studies in logic and the foundations of mathematics, 108
-
(1981)
Π21‐logic, part 1: dilators -
(1967)
Normal functors on linear orderings -
Ordinal functors and Π 1 -
(2005)
Predicativity’,The Oxford handbook of philosophy of mathematics and logic (ed. S -
(1971)
Primitive recursive set functions, Axiomatic Set Theory (Providence, Rhode Island -
M. Rathjen, A. Weiermann (2011)
Reverse mathematics and well-ordering principles -
Gerhard Jäger (1986)
Theories for admissible sets : a unifying approach to proof theory -
(2017)
A Higher Bachmann-Howard Principle, 2017, preprint published as arXiv:1704.01662 -
(1974)
Predicatively reducible systems of set theory, Axiomatic Set Theory (Providence, Rhode Island) (Thomas -
(1982)
Set theoretic aspects of ATR0, Logic Colloquium ’80 -
A. Montalbán (2011)
Open Questions in Reverse MathematicsThe Bulletin of Symbolic Logic, 17
-
(1981)
dilators’, Ann -
(1982)
Set theoretic aspects of ATR0’, Logic Colloquium ’80 Studies in Logic and the Foundations of Mathematics (eds -
J. Girard (1981)
Π12-logic, Part 1: DilatorsAnnals of Mathematical Logic, 21
- Publisher
- Wiley
- Copyright
- © 2019 London Mathematical Society
- ISSN
- 0024-6093
- eISSN
- 1469-2120
- DOI
- 10.1112/blms.12285
- Publisher site
- See Article on Publisher Site
Abstract
Journal
Bulletin of the London Mathematical Society – Wiley
Published: Oct 1, 2019
Keywords: ; ;