Skip to main content
SpringerLink
Log in

Universes in metapredicative analysis

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract.

 In this paper we introduce theories of universes in analysis. We discuss a non-uniform, a uniform and a minimal variant. An analysis of the proof-theoretic bounds of these systems is given, using only methods of predicative proof-theory. It turns out that all introduced theories are of proof-theoretic strength between Γ0 and ϕ1ɛ00.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. Idastr. 20, 8003 Zürich, Switzerland. e-mail: rue@kbw.ch, , , , , , CH

    Christian Rüede

Authors
  1. Christian Rüede
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Received: 24 November 2000 / Revised Version: 14 June 2002 Published online: 10 October 2002

This paper is a part of the author's Ph.D. dissertation

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rüede, C. Universes in metapredicative analysis. Arch. Math. Logic 42, 129–151 (2003). https://doi.org/10.1007/s00153-002-0149-8

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-002-0149-8

Keywords

Search

Navigation