About some fixed point axioms and related principles in Kripke-Platek environments

BORIS DOI
Publisher DOI
Date of Publication
2018
Publication Type
Article
Subject(s)
Language(s)
en
Contributor(s)
Additional Credits
Series
The journal of symbolic logic
Publisher
Cambridge University Press
ISSN
0022-4812
Access(Rights)
open.access
Show full item