- Full text PDF available (3)
- This year (0)
- Last 5 years (0)
- Last 10 years (0)
Journals and Conferences
In this paper we present some metapredicative subsystems of analysis. We deal with reflection principles, ω-model existence axioms (limit axioms) and axioms asserting the existence of hierarchies. We… (More)
This article provides an ordinal analysis of &1 trans'nite dependent choice. c © 2003 Elsevier B.V. All rights reserved.
In this paper it is shown that the intuitionistic fixed point theory ÎD i α(strict) for α times iterated fixed points of strictly positive operator forms is conservative for negative arithmetic and… (More)
This article provides an ordinal analysis of Σ1 transfinite dependent choice.
In this paper we introduce theories of universes in analysis. We discuss a nonuniform, a uniform and a minimal variant. An analysis of the proof-theoretic bounds of these systems is given, using only… (More)