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

Previous Page 7

Displaying 121 – 130 of 130

Why semisets?

Petr Hájek (1973)

Commentationes Mathematicae Universitatis Carolinae

Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natürlichen Zahlen.

Gerhard Jäger (1982)

Archiv für mathematische Logik und Grundlagenforschung

$β$ -structures

Josef Mlček (1986)

Commentationes Mathematicae Universitatis Carolinae

ω-models of second order arithmetic and admissible sets

W. Marek (1978)

Fundamenta Mathematicae

Нестандартный анализ и аксиома детерминированности

Н.В. Белякин, N.V. Beljakin (1993)

Algebra i Logika

О метатеории множеств.

А.С. Нудельман (1991)

Algebra i Logika

О противоречивости метатеории Нудельмана

В.А. Ганов, V. A. Ganov, V. A. Ganov, V. A. Ganov (1995)

Algebra i Logika

О строении изотонного группоида на классе натуральных чисел в AST.

С.В. Дронов, С.Д. Козлов (1994)

Sibirskij matematiceskij zurnal

Общая теория бесконечно малых.

И. Перэр (1990)

Sibirskij matematiceskij zurnal

Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.

В.А. Любецкий (1991)

Algebra i Logika

Currently displaying 121 – 130 of 130

Previous Page 7