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
03C40 Interpolation, preservation, definability

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

On models of finite direct products of theories

Sidkazem Taghva (1989)

Colloquium Mathematicae

On the congruence lattice of stable algebras with definability of compact congruences

Sauro Tulipani (1983)

Czechoslovak Mathematical Journal

Currently displaying 1 – 2 of 2

Page 1