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

Displaying similar documents to “Internal and forcing models for the impredicative theory of classes”

Alternative set theory with elementary classes

Nando Prati (1994)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this paper we sketch the development and give a model of the formal version of a generalization of the Alternative Set Theory.