Model Theory

Oxford, England: Oxford University Press (1990)
  Copy   BIBTEX

Abstract

Model theory is the branch of mathematical logic looking at the relationship between mathematical structures and logic languages. These formal languages are free from the ambiguities of natural languages, and are becoming increasingly important in areas such as computing, philosophy and linguistics. This book provides a clear introduction to the subject for both mathematicians and the non-specialists now needing to learn some model theory.

Categories

Keywords

Reprint years

1999

ISBN(s)

9780198538516   0198538510
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The model theory of modules of a C*-algebra.Camilo Argoty - 2013 - Archive for Mathematical Logic 52 (5-6):525-541.
A Boolean model of ultrafilters.Thierry Coquand - 1999 - Annals of Pure and Applied Logic 99 (1-3):231-239.
Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields.Nicolas Guzy - 2007 - Annals of Pure and Applied Logic 150 (1-3):66-78.
Reviews. Selected papers of Abraham Robinson. Volume 1. Model theory and algebra. Edited and with an introduction by H. J. Keisler. Yale University Press, New Haven and London 1979, xxxvii + 694 pp. George B. Selioman. Biography of Abraham Robinson, pp. xiii–xxxii. H. J. Keisler. Introduction, pp. xxxiii–xxxvii. Abraham Robinson. On the application of symbolic logic to algebra, pp. 3–11. A reprint of XVIII 182. Abraham Robinson. Recent developments in model theory, pp. 12–31. A reprint of XL 269. Abraham Robinson. On the construction of models, pp. 32–42. A reprint of XL 506. Abraham Robinson, Metamathematical problems, pp. 43–59. , pp. 500–516.) Abraham Robinson. Model theory as a framework for algebra, pp. 60–83. Abraham Robinson. A result on consistency and its application to the theory of definition, pp. 87–98. A reprint of XXV 174. Abraham Robinson. Ordered structures and related concepts, pp. 99–104. A reprint of XXV 170. [REVIEW]John T. Baldwin - 1982 - Journal of Symbolic Logic 47 (1):197-203.
Number and its Algebra Syllabus of Lectures on the Theory of Number and its Algebra Introductory to a Collegiate Course in Algebra.Arthur Lefevre - 1896 - D.C. Heath & Co.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
J. B. Paris. A hierarchy of cuts in models of arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 312–337. - George Mills. A tree analysis of unprovable combinatorial statements. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, pp. 248–311. - Jussi Ketonen and Robert Solovay. Rapidly growing Ramsey functions. Annals of mathematics, ser. 2 vol. 113 , pp. 267–314. [REVIEW]A. J. Wilkie - 1986 - Journal of Symbolic Logic 51 (4):1062-1066.
Model theory for universal classes with the amalgamation property: A study in the foundations of model theory and algebra.William K. Forrest - 1977 - Annals of Mathematical Logic 11 (3):263.
Some Boolean algebras with finitely many distinguished ideals II.Regina Aragón - 2003 - Mathematical Logic Quarterly 49 (3):260.
Applications of model theory to algebra, analysis, and probability.W. A. J. Luxemburg (ed.) - 1969 - New York,: Holt, Rinehart and Winston.
Linear and Geometric Algebra.Alan MacDonald - 2011 - North Charleston, SC: CreateSpace.
MV and Heyting Effect Algebras.D. J. Foulis - 2000 - Foundations of Physics 30 (10):1687-1706.
An algebraic introduction to mathematical logic.D. W. Barnes - 1975 - New York: Springer Verlag. Edited by J. M. Mack.
Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
Omitting types in fuzzy logic with evaluated syntax.Petra Murinová & Vilém Novák - 2006 - Mathematical Logic Quarterly 52 (3):259-268.

Analytics

Added to PP
2021-11-17

Downloads
15 (#929,240)

6 months
8 (#346,782)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

María Manzano
Universidad de Salamanca

Citations of this work

Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
A novel approach to equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.
The Logicality of Equality.Andrzej Indrzejczak - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 211-238.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references