Page 1 Next

Displaying 1 – 20 of 130

Showing per page

-representation and set-prolongations

Josef Mlček (1992)

Commentationes Mathematicae Universitatis Carolinae

By an -representation of a relation we mean its isomorphic embedding to 𝔼 = { x , y ; x y } . Some theorems on such a representation are presented. Especially, we prove a version of the well-known theorem on isomorphic representation of extensional and well-founded relations in 𝔼 , which holds in Zermelo-Fraenkel set theory. This our version is in Zermelo-Fraenkel set theory false. A general theorem on a set-prolongation is proved; it enables us to solve the task of the representation in question.

Alternative set theory with elementary classes

Nando Prati (1994)

Commentationes Mathematicae Universitatis Carolinae

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

Analyse relative

Yves Peraire (1992)

Annales scientifiques de l'Université de Clermont. Mathématiques

Currently displaying 1 – 20 of 130

Page 1 Next