Carnegie Mellon University
Browse
file.pdf (3.45 MB)
Download file

A primer of simple theories

Download (3.45 MB)
journal contribution
posted on 1998-01-01, 00:00 authored by Rami Grossberg, José Iovino, Olivier Lessmann
Abstract: "We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound most of the deeper aspects of S. Shelah's 1980 paper Simple unstable theories. The concept of weak dividing has been replaced with that of forking. The exposition is from a contemporary perspective and takes into account contributions due to E. Hrushovski, B. Kim, and A. Pillay."

History

Publisher Statement

All Rights Reserved

Date

1998-01-01

Usage metrics

    Categories

    Keywords

    Automatic theorem proving.Model theory.

    Licence

    In Copyright

    Exports