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

Documents Related by Co-Citation

5 Constructive set theory with operations – A Cantini, L Crosilla - 2008
3 On Feferman’s operational set theory OST – Gerhard Jäger - 2007
4 Full operational set theory with unbounded existential quantification and power set – Gerhard Jäger
12 Toward a computation system based on set theory, Theoretical Computer Science 60 – M Beeson - 1988
8 Notes on operational set theory I. Generalization of “small” large cardinals in classical and admissible set theory (draft), 2001. Available from: personal copy S – S Feferman
5 Operational set theory and small large cardinals – S Feferman - 2009
6 Applikative Theorien und explizite Mathematik. Lecture Notes iam-97-001, Institut für Informatik und angewandte Mathematik – G Jäger, M Wirz - 1997
6 Set theory, Academic Press [Harcourt Brace Jovanovich – Thomas Jech - 1978
12 Set theory, volume 102 of Studies in Logic and the Foundations of Mathematics – Kenneth Kunen - 1983
193 Admissible Sets and Structures – J Barwise - 1975
8 Foundations of Constructive Mathematics, volume 6 of Ergebnisse der Mathematik and ihrer Grenzgebiete . Springer-Verlag – M Beeson - 1985
2 Extending constructive operational set theory by impredicative principles – A Cantini
1 Constructibility, volume 6 – K J Devlin - 1984
1 sets and classes – Operations - 2009
1 Fragments of Kripke-Platek set theory – M Rathjen - 1992
4 Σ 1 1 choice in a theory of sets and classes – Gerhard Jäger, Jürg Krähenbühl
2 Admissible Sets and Structures, volume 7 – Jon Barwise - 1975
13 Zur Beweistheorie der Kripke–Platek Mengenlehre über den natürlichen Zahlen – G Jäger - 1982
34 Theories for Admissible Sets: A Unifying Approach to Proof Theory – G Jäger - 1986