Operational closure and stability
Publisher DOI
Date Issued
2013
Publication Type
Article
Subjects
Operational set theory
•
Operational closure
•
Kripke–Platek set theory
•
Σ1 separation
•
Stability
•
Proof theory
Language(s)
en
Additional Credits
Journal
Annals of pure and applied logic
Publisher
Elsevier
ISSN
0168-0072
Access(Rights)
Unknown