On Feferman’s operational set theory OST

On Feferman’s operational set theory OST (2007)

by Gerhard Jäger

Citations:

@MISC{Jäger07onfeferman’s,
    author = {Gerhard Jäger},
    title = {On Feferman’s operational set theory OST},
    year = {2007}
}

227	Set Theory: An Introduction to Independence Proofs - Kunen - 1983
106	The type-theoretic interpretation of constructive set theory: inductive definitions - Aczel - 1986
46	Systems of explicit mathematics with non-constructive µoperator. part i - Feferman, Jäger - 1993
42	Constructivism in mathematics, an introduction, vol. i - Troelstra, Dalen - 1988
19	Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory - Jäger, Strahm
11	Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natürlichen Zahlen. Archiv für Mathematische Logik und Grundlagenforschung - Jäger - 1982
10	A language and axioms for explicit mathematics, Algebra and Logic - Feferman - 1975
5	Constructive set theory with operations - Cantini, Crosilla - 2008
4	on operational set theory, I. Generalization of “small” large cardinals in classical and admissible set theory, http://math. stanford.edu/~feferman/papers/OperationalST-I.pdf - Notes - 2001
3	Proof Theory, Grundlehren der mathematischen Wissenschaften - Schütte - 1977
1	Admissible Sets and Structures, Perspectives in Mathematical Logic - Barwise - 1975
1	on reflections in explicit mathematics, Annals of Pure and Applied Logic 136 - Reflections - 2005
1	Fragments of Kripke-Platek set theory, Proof Theory - Rathjen - 1992