Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- 510.67 --- Theory of models --- Model theory. --- 510.67 Theory of models --- Model theory --- Logic, Symbolic and mathematical --- Logique mathématique --- Théorie des modèles

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Voici la réédition, augmentée d'une longue préface, d'un livre publié en 1969 et devenu introuvable depuis trente ans. Il transcrit deux conférences prévues à l'époque dans un contexte à la fois dense et mondain : le "cours de philosohie pour scientifiques" organisé par Louis Althusser. La première conférence eut bien lieu, en 1968, à la fin du mois d'avril. Deux semaines plus tard, c'était le début de Mai 68, celui-là même auquel notre actuel Président ordonne qu'on mette fin "une fois pour toutes". Nous, jeunes philosophes, sommes alors passés brutalement des raffinements formels de la théorie pure à l'activisme politique le plus radical. Nous servions les structures, il a fallu, et avec quelle détermination, servir le peuple. La deuxième conférence fut annulée. Entre 1960 et 1968, nous étions en effet "structuralistes", et nous avions une grande dévotion pour la science, que nous opposions à l'idéologie. Il est vraiment paradoxal que depuis, on ait jugé que nous nagions en pleine idéologie, et qu'on ait appelé à "la fin des idéologies". On verra tout le contraire dans ce livre : une grande rigueur instruite concernant la logique contemporaine, un grand mépris pour les à peu près de l'idéologie, et une ambition rationnelle qui s'étend à tous les domaines de la pensée active, politique comprise. La vérité saute toujours par-dessus les étapes obligées. C'est parce qu'il est vraiment de son temps - le début des années soixante - que ce petit livre peut être du nôtre. Ecrite aujourd'hui, la préface, racontant l'histoire de nos pensées depuis presque un demi-siècle, tente de montrer la pertinence de cette réédition. Pour les idées profondes, quarante ans, ce n'est que le temps raisonnable d'une latence, pendant laquelle mûrissent les conditions nouvelles de leur efficacité.

Model theory --- Mathematics --- Philosophy --- Model theory. --- Mathématiques --- Philosophy. --- Philosophie. --- Philosophie --- Mathematics - Philosophy --- Sciences --- Méthodologie. --- French philosophy of sciences --- Knowledge, Theory of. --- French philosophy of sciences. --- Modèle (épistémologie) --- Théorie des modèles

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

510.67 --- #KOPO:Prof. R. Holvoet --- Theory of models --- Model theory. --- 510.67 Theory of models --- Model theory --- Logic, Symbolic and mathematical --- Mathematical logic --- Théorie des modèles --- Logique mathématique --- Théorie des modèles --- Théorie des modèles. --- Logique mathématique. --- Logic, Symbolic and mathematical. --- Logique mathématique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is a modern introduction to model theory which stresses applications to algebra throughout the text. The first half of the book includes classical material on model construction techniques, type spaces, prime models, saturated models, countable models, and indiscernibles and their applications. The author also includes an introduction to stability theory beginning with Morley's Categoricity Theorem and concentrating on omega-stable theories. One significant aspect of this text is the inclusion of chapters on important topics not covered in other introductory texts, such as omega-stable groups and the geometry of strongly minimal sets. The author then goes on to illustrate how these ingredients are used in Hrushovski's applications to diophantine geometry. David Marker is Professor of Mathematics at the University of Illinois at Chicago. His main area of research involves mathematical logic and model theory, and their applications to algebra and geometry. This book was developed from a series of lectures given by the author at the Mathematical Sciences Research Institute in 1998.

Model theory --- Mathematics --- Logic, symbolic and mathematical --- Model theory. --- Algebra --- Mathematical logic --- 510.67 --- Theory of models --- Mathematics. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory. This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as

Mathematical logic --- Model theory. --- Logic, Symbolic and mathematical. --- Model theory --- Théorie des modèles --- ELSEVIER-B EPUB-LIV-FT --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical