Complexity of the decidability of the unquantified set theory with a rank operator.

Tetruashvili, M.

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

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

Displaying similar documents to “Complexity of the decidability of the unquantified set theory with a rank operator.”

The Fatou and Julia sets of multivalued analytical functions.

Gumenyuk, P.A. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

On the existence of factor sets by external equivalences in IST.

Prokhorova, M.F. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

On rank 2 geometries of the Mathieu group $M_{24}$ .

Kilic, Nayil (2010)

Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică

Similarity:

On the theory of grossone.

Gutman, A.E., Kutateladze, S.S. (2008)

Sibirskij Matematicheskij Zhurnal

Similarity:

On a characterization of the unit interval in terms of clones

Artur Barkhudaryan (1999)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

This paper gives a partial solution to a problem of W. Taylor on characterization of the unit interval in the class of all topological spaces by means of the first order properties of their clones. A characterization within the class of compact spaces is obtained.

On the independence property.

Kudajbergenov, K.Zh. (2000)

Siberian Mathematical Journal

Similarity:

Complete description for $m$ -equivalence types of superatomic $I$ -algebras.

Pyrkin, S.G. (2000)

Sibirskij Matematicheskij Zhurnal

Similarity:

$e$ -immune sets.

Solon, B.Ya. (2000)

Siberian Mathematical Journal

Similarity: