Applications of Many‐Sorted Robinson Consistency Theorem

This publication has 10 references indexed in Scilit:

• Ideal models and some not so ideal problems in the model theory of L(Q)
  The Journal of Symbolic Logic, 1978
• Stationary logic
  Annals of Mathematical Logic, 1978
• δ-Logics and generalized quantifiers
  Annals of Mathematical Logic, 1976
• Model theory via set theory
  Israel Journal of Mathematics, 1976
• Mathematical Logic
  Published by Springer Nature ,1976
• One hundred and two problems in mathematical logic
  The Journal of Symbolic Logic, 1975
• Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
  Fundamenta Mathematicae, 1975
• Axioms for abstract model theory
  Annals of Mathematical Logic, 1974
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
  Fundamenta Mathematicae, 1974
• Maximal models in the language with quantifier “there exist uncountably many”
  Pacific Journal of Mathematics, 1972