SciELO - Scientific Electronic Library Online

 
vol.41 suppl.1Algebraic representation of continuaAlgebraic closure in continuous logic author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

  • On index processCited by Google
  • Have no similar articlesSimilars in SciELO
  • On index processSimilars in Google

Share


Revista Colombiana de Matemáticas

Print version ISSN 0034-7426

Abstract

CASANOVAS, ENRIQUE. Simplicity simplified. Rev.colomb.mat. [online]. 2007, vol.41, suppl.1, pp.263-277. ISSN 0034-7426.

We expose the foundations of simple theories in a straightforward way including many improved proofs which can only be found scattered in the specialized literature. We start with general model theory and finish with the proof of the independence theorem.

Keywords : Model Theory; Simple Theories; Forking, Independence..

        · abstract in Spanish     · text in English     · English ( pdf )

 

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License