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
03C68 Other classical first-order model theory

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

End-extensions of countable structures and the induction schema

Josef Mlček (1978)

Commentationes Mathematicae Universitatis Carolinae

Equational logic and theories in sentential languages

Roman Suszko (1974)

Colloquium Mathematicae

Equationally compact algebras (I)

B. Węglorz (1966)

Fundamenta Mathematicae

Equationally compact algebras II

Jan Mycielski, Czesław Ryll-Nardzewski (1967)

Fundamenta Mathematicae

Equationally compact algebras (III)

B. Węglorz (1967)

Fundamenta Mathematicae

Errata for the paper "Equationally compact algebras II" (Fundamenta Mathematica 61 (1968), pp. 271-281)

Jan Mycielski, C. Ryll-Nardzewski (1968)

Fundamenta Mathematicae

Errata to the paper "Models of second order arithmetic with definable Skolem functions", Fundamenta Mathematicae 75 (1972), pp. 223-234

Andrzej Mostowski (1974)

Fundamenta Mathematicae

Currently displaying 1 – 7 of 7

Page 1