Elementary constructive operational set theory. To appear in: Festschrift for Wolfram Pohlers, Ontos Verlag

Cached

Download Links

by A. Cantini , L. Crosilla , Dedicated Prof , Wolfram Pohlers
Citations:2 - 0 self

Active Bibliography

4 Choice principles in constructive and classical set theories – Michael Rathjen - 2002
Characterizing the interpretation of set theory in Martin-Löf type – Michael Rathjen, Sergei Tupailo, Leeds Ls Jt
4 Realization of Constructive Set Theory into Explicit Mathematics: a lower bound for impredicative Mahlo universe – Sergei Tupailo - 2000
unknown title – Gerhard Jäger, Rico Zumbrunnen
12 Theories With Self-Application and Computational Complexity – Thomas Strahm - 2002
2 Weak theories of truth and explicit mathematics. Submitted for publication. 19 – Sebastian Eberhard, Thomas Strahm
1 CZF has the disjunction and numerical existence property. Available from the author’s web page www.amsta.leeds.ac.uk/Pure/staff/rathjen/preprints.html – Michael Rathjen - 2004
1 Metamathematical Properties of Intuitionistic Set Theories with Choice Principles – Michael Rathjen
4 Realization of analysis into Explicit Mathematics – Sergei Tupailo - 2000
The Triumph of Types: Principia Mathematica’s Impact on Computer Science – Robert L. Constable
Ontological Questions about Operational Set Theory – Rico Zumbrunnen - 2009
3 Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective – Gerhard Jäger
2 Systems of explicit mathematics with non-constructive µ-operator and join – Thomas Glaß, Thomas Strahm - 1996
1 Universes over Frege Structures – Reinhard Kahle - 1996
6 The Anti-Foundation Axiom In Constructive Set Theories – M. Rathjen - 2003
6 Constructive Mathematics, in Theory and Programming Practice – Douglas Bridges, Steve Reeves - 1997
3 Relationships between constructive, predicative, and classical systems of analysis – Solomon Feferman
2 Explicit Mathematics With The Monotone Fixed Point Principle. II: Models – Michael Rathjen - 1999
6 Realizability for constructive Zermelo-Fraenkel set theory – Michael Rathjen - 2004