An Extended Predicative Definition of the Mahlo Universe

&
In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 315-340 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110324907.315

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Induction–recursion and initial algebras.Peter Dybjer & Anton Setzer - 2003 - Annals of Pure and Applied Logic 124 (1-3):1-47.
Extending Martin-Löf Type Theory by one Mahlo-universe.Anton Setzer - 2000 - Archive for Mathematical Logic 39 (3):155-181.
The Recursively Mahlo Property in Second Order Arithmetic.Michael Rathjen - 1996 - Mathematical Logic Quarterly 42 (1):59-66.
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.Sergei Tupailo - 2003 - Annals of Pure and Applied Logic 120 (1-3):165-196.
A notation system for ordinal using ψ‐functions on inaccessible mahlo numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Mathematical Logic Quarterly 38 (1):431-456.
Cantorian Models of Predicative.Panagiotis Rouvelas - 2024 - Journal of Symbolic Logic 89 (2):637-645.
Realizing Mahlo set theory in type theory.Michael Rathjen - 2003 - Archive for Mathematical Logic 42 (1):89-101.
$\Diamond$ at mahlo cardinals.Martin Zeman - 2000 - Journal of Symbolic Logic 65 (4):1813 - 1822.
Cutting It Up, Cartesian Style: Individuation and Motion in Descartes's Ontology of Body.Alice Sowaal - 2001 - Dissertation, University of California, Irvine
Metamorphoses of logos: from non-predicative to predicative.José Trindade Santos - 2018 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 24.
Inductive definitions over a predicative arithmetic.Stanley S. Wainer & Richard S. Williams - 2005 - Annals of Pure and Applied Logic 136 (1-2):175-188.
God and Necessity: a Defense of Classical Theism.Stephen E. Parrish - 2001 - UPA.
Zigzag and Fregean Arithmetic.Fernando Ferreira - 2018 - In Hassan Tahiri (ed.), The Philosophers and Mathematics: Festschrift for Roshdi Rashed. Cham: Springer Verlag. pp. 81-100.
The possibility of reading the Plotinian noetic thought as non-predicative.Robert Brenner Barreto da Silva - 2020 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 30:03036-03036.
On splitting stationary subsets of large cardinals.James E. Baumgartner, Alan D. Taylor & Stanley Wagon - 1977 - Journal of Symbolic Logic 42 (2):203-214.

Analytics

Added to PP
2023-07-03

Downloads
7 (#1,393,386)

6 months
4 (#798,692)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Reinhard Kahle
University Tübingen

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references