Operational closure and stability

DOI10.1016/j.apal.2013.01.004zbMath1315.03090MaRDI QIDQ385076

Gerhard Jäger

Publication date: 29 November 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.01.004

zbMATH Keywords

stability; proof theory; Kripke-Platek set theory; \(\Sigma_1\) separation; operational closure; operational set theory

Mathematics Subject Classification ID

03B30: Foundations of classical theories (including reverse mathematics)

03E70: Nonclassical and second-order set theories

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

03F25: Relative consistency and interpretations