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
03Cxx Model theory
03C75 Other infinitary logic

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 – 7 of 7

Δ-extension and Hanf-numbers

Juoko Väänänen (1983)

Fundamenta Mathematicae

$λ$ -satisfiability, $λ$ -consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for $L_{k, k}$ with $k$ a strong limit cardinal of cofinality $λ$

Ruggero Ferro (1988)

Rendiconti del Seminario Matematico della Università di Padova

$ω$ -satisfiability, $ω$ -consistency property, and the downward Lowenheim Skolem theorem for $L_{k, k}$

Ruggero Ferro (1982)

Rendiconti del Seminario Matematico della Università di Padova

Кодирование псевдобулевых моделей для инфинитарной неклассической логики трансфинитного порядка.

А. Таутс (1990)

Sibirskij matematiceskij zurnal

Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях

П.Е. Алаев (2003)

Algebra i Logika

Мощность моделей теорий исчисления с квантором Хартига.

А.Г. Пинус (1978)

Sibirskij matematiceskij zurnal

О числе моделей в $L_{\infty, ω_{1}}$ -теориях. II

Е.А. Палютин (1977)

Algebra i Logika

Currently displaying 1 – 7 of 7

Page 1