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

Keywords

Reprint years

DOI

10.1515/9783110324907.315

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

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.
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.
Realizing Mahlo set theory in type theory.Michael Rathjen - 2003 - Archive for Mathematical Logic 42 (1):89-101.
Reinhard Kahle and Peter Schroeder-heister.Steven Weinstein, Substantive General Covariance & Eugen Fischer - 2006 - Synthese 148 (1):745-747.
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.
Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.Henry Towsner - 2016 - Bulletin of Symbolic Logic 22 (4):525-526.
Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals of pure and applied logic, vol. 92 , pp. 113–159. [REVIEW]Wilfried Buchholz - 2000 - Bulletin of Symbolic Logic 6 (4):478-479.
Boolean relation theory notes.Harvey Friedman - manuscript
Reinhard Kahle and Michael Rathjen : Gentzen’s Centenary. The Quest for Consistency.David Binder - 2018 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 49 (3):475-479.

Analytics

Added to PP
2023-07-03

Downloads
11 (#1,433,119)

6 months
3 (#1,498,028)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Reinhard Kahle
University Tübingen

Citations of this work

Broad Infinity and Generation Principles.Paul Blain Levy - 2025 - Notre Dame Journal of Formal Logic -1:1-63.

Add more citations

References found in this work

No references found.

Add more references