Pages that link to "Item:Q4579812"
From MaRDI portal
The following pages link to ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812):
Displaying 6 items.
- Stage comparison, fixed points, and least fixed points in Kripke-Platek environments (Q2108575) (← links)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- On the relationship between fixed points and iteration in admissible set theory without foundation (Q2486984) (← links)
- From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Q3305630) (← links)
- Fixed-points of Set-continuous Operators (Q4487245) (← links)
- Some set-theoretic reduction principles (Q6612880) (← links)