EuDML | Browse

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

Subjects
03-XX Mathematical logic and foundations
03Exx Set theory
03E70 Nonclassical and second-order set theories

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 8 of 8

The axiom of reflection

Antonín Sochor, Petr Vopěnka (1981)

Commentationes Mathematicae Universitatis Carolinae

The consistency of the measurability of projective semisets

Karel Čuda (1986)

Commentationes Mathematicae Universitatis Carolinae

The interpreted type-free modal calculus $M C^{\infty}$

A. Bressan (1974)

Rendiconti del Seminario Matematico della Università di Padova

The interpreted type-free modal calculus $M C^{\infty}$

A. Bressan (1973)

Rendiconti del Seminario Matematico della Università di Padova

The interpreted type-free modal calculus $M C^{\infty}$ . II

A. Bressan (1973)

Rendiconti del Seminario Matematico della Università di Padova

The lattice of indiscernibility equivalences

Petr Vopěnka (1979)

Commentationes Mathematicae Universitatis Carolinae

The nonabsolute boundedness model of the theory of semisets

Karel Čuda (1977)

Commentationes Mathematicae Universitatis Carolinae

The quantifier complexity of NF.

Kaye, Richard (1996)

Bulletin of the Belgian Mathematical Society - Simon Stevin

Currently displaying 1 – 8 of 8

Page 1