EuDML | Browse

Loading [MathJax]/extensions/MathZoom.js

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

Real classes in the ultrapower of hereditarily finite sets

Antonín Sochor (1975)

Commentationes Mathematicae Universitatis Carolinae

Reducing hyperarithmetic sequences

Hans Carstens (1975)

Fundamenta Mathematicae

Remarks on countable models

Miroslav Benda (1974)

Fundamenta Mathematicae

Remarks on stability and saturated models

J. Wierzejewski (1976)

Colloquium Mathematicae

Currently displaying 1 – 4 of 4

Page 1