RELATIVIZING OPERATIONAL SET THEORY
type: Item
instance of: scholarly article
title: RELATIVIZING OPERATIONAL SET THEORY
zbMATH Open document ID: 1432.03127
author: Gerhard Jäger
published in: The Bulletin of Symbolic Logic
publication date: 2017-05-26T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6723444
zbMATH Keywords: operational set theory
zbMATH Keywords: Kripke-Platek set theory
zbMATH Keywords: proof theory
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2531791099
cites work: Q4075450
cites work: Q3679172
cites work: Extending constructive operational set theory by impredicative principles
cites work: Q3081642
cites work: Q4128540
cites work: Operational set theory and small large cardinals
cites work: Q3895467
cites work: A well-ordering proof for Feferman's theoryT 0
cites work: Q3778746
cites work: On Feferman's operational set theory \textsf{OST}
cites work: Full operational set theory with unbounded existential quantification and power set
cites work: Q4630796
cites work: Operational closure and stability
cites work: Q3041187
cites work: Q4981451
cites work: Explicit mathematics and operational set theory: some ontological comparisons
cites work: Set theory. An introduction to independence proofs
cites work: Constructivism in mathematics. An introduction. Volume I
DOI: 10.1017/BSL.2016.11
description: scientific article; zbMATH DE number 6723444