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
  • 03C70 Logic on admissible sets

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

Page 1

Displaying 1 – 9 of 9

Showing per page

ω-models of second order arithmetic and admissible sets

W. Marek (1978)

Fundamenta Mathematicae

Допустимые множества в теории групп

А.Г. Мясников, В.Н. Ремесленников (1992)

Algebra i Logika

Ещё раз о счетно-категоричных предложениях.

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

Sibirskij matematiceskij zurnal

Любое семейство подмножеств праэлементов порождает допустимое множество.

Ю.Л. Ершов (1989)

Sibirskij matematiceskij zurnal

О порождаемости допустимых множеств

Ю.П. Ершов (1987)

Algebra i Logika

О существовании неотделимой пары в рекурсивной теории допустимых множеств

В.А. Руднев (1988)

Algebra i Logika

Об универсальной рекурсивной функции на допустимых множествах.

В.А. Руднев (1986)

Algebra i Logika

Письмо в редакцию:Форсинг в допустимых множествах

Ю.Л. Ершов (1993)

Algebra i Logika

Форсинг в допустимых множествах

Ю.Л. Ершов (1990)

Algebra i Logika

Currently displaying 1 – 9 of 9

Page 1

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7