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
  • 03C80 Logic with extra quantifiers and operators

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

Definable quantifiers in second order arithmetic and elementary extensions of ω-models [Book]

Wojciech Guzicki (1983)

Currently displaying 1 – 1 of 1

Page 1

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7