ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS.

Authors :: JÄGER, GERHARD
STEILA, SILVIA
Source :: Journal of Symbolic Logic; Jun2018, Vol. 83 Issue 2, p642-668, 27p
Publication Year :: 2018
Abstract: The article discusses fixed point axioms and related principles in Kripke-Platek set theory. It discusses fixed point axioms for set-bounded monotone Σ1 definable operators in the context of Kripke-Platek set theory KP. It analyzes their relationship to other principles such as maximal iterations, bounded proper injections, and Σ1 subset-bounded separation, and the results thereof.

Subjects :: FIXED point theory
AXIOMS
KRIPKE semantics
MONOTONE operators
ITERATIVE methods (Mathematics)
INJECTIVE functions

Full Text Access

Tools