Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')
EuDML - The European Digital Mathematics Library

Login | Register | (Why Register?)

  • Home
  • Advanced Search
  • Browse by Subject
  • Browse by Journals
  • Refs Lookup
  • Subjects
  • 03-XX Mathematical logic and foundations
  • 03Cxx Model theory
  • 03C35 Categoricity and completeness of theories

03Cxx Model theory

  • 03C05 Equational classes, universal algebra
  • 03C07 Basic properties of first-order languages and structures
  • 03C10 Quantifier elimination, model completeness and related topics
  • 03C13 Finite structures
  • 03C15 Denumerable structures
  • 03C20 Ultraproducts and related constructions
  • 03C25 Model-theoretic forcing
  • 03C30 Other model constructions
  • 03C35 Categoricity and completeness of theories
  • 03C40 Interpolation, preservation, definability
  • 03C45 Classification theory, stability and related concepts
  • 03C48 Abstract elementary classes and related topics
  • 03C50 Models with special properties (saturated, rigid, etc.)
  • 03C52 Properties of classes of models
  • 03C55 Set-theoretic model theory
  • 03C57 Effective and recursion-theoretic model theory
  • 03C60 Model-theoretic algebra
  • 03C62 Models of arithmetic and set theory
  • 03C64 Model theory of ordered structures; o-minimality
  • 03C65 Models of other mathematical theories
  • 03C68 Other classical first-order model theory
  • 03C70 Logic on admissible sets
  • 03C75 Other infinitary logic
  • 03C80 Logic with extra quantifiers and operators
  • 03C85 Second- and higher-order model theory
  • 03C90 Nonclassical models (Boolean-valued, sheaf, etc.)
  • 03C95 Abstract model theory
  • 03C98 Applications of model theory
  • 03C99 None of the above, but in this section
  • 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 – 126 of 126

Showing per page

Сильно минимальные счетно категоричные теории

Б.И. Зильбер (1980)

Sibirskij matematiceskij zurnal

Сильно минимальные счетно категоричные теории. II.

Б.И. Зильбер (1984)

Sibirskij matematiceskij zurnal

Сильно минимальные счетно-категоричные теории. III.

Б.И. Зильбер (1984)

Sibirskij matematiceskij zurnal

Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.

А.С. Морозов (1989)

Sibirskij matematiceskij zurnal

Универсальные теории уноидов, уникальные в мощности

Е.В. Васильев (1996)

Sibirskij matematiceskij zurnal

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

С.С. Старченко (1986)

Algebra i Logika

Currently displaying 121 – 126 of 126

Previous Page 7

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7