The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Set existence principles of Shoenfield, Ackermann, and Powell”

Internal and forcing models for the impredicative theory of classes

Rolando Chuaqui

Similarity:

CONTENTSIntroduction............................................................................................................ 5I. Axiom system and elementary consequences........................................... 61. Axioms........................................................................................................................ 62. Definitions and elementary consequences........................................................ 9II. Principles of definitions by recursion..............................................................