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
  • 03C25 Model-theoretic forcing

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

Showing per page

Le forcing faible ; son utilisation pour caractériser les relations unaires générales pour la chaîne ou la consécutivité des entiers naturels (résultat de R. Solovay, 1976)

R. Fraisse (1979)

Publications du Département de mathématiques (Lyon)

Currently displaying 1 – 1 of 1

Page 1

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7