Advertisement

Modellvollständigkeit

  • Wolfram Schwabhäuser
  • Wanda Szmielew
  • Alfred Tarski
Part of the Hochschultext book series (HST)

Zusammenfassung

Aus dem Satz 4.84, wo affine Räume einzeln behandelt wurden, ergab sich insbesondere (4.87), daß die Kollinearität Col nicht mit Hilfe der Mittelpunktsbeziehung M definierbar ist in den betrachteten euklidischen und affinen Geometrien (2.1, 13, 15). Dasselbe ergab sich für die Parallelogrammbeziehung Pg an Stelle von M. In diesem Abschnitt soll im wesentlichen das folgende Resultat bewiesen werden (s.a. 5.3(iv), 5.38), das als eine gewisse Ergänzung zu 4.84 angesehen werden kann.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Wolfram Schwabhäuser
    • 1
  • Wanda Szmielew
    • 2
  • Alfred Tarski
    • 3
  1. 1.Institut für InformatikUniversität StuttgartStuttgart 1Deutschland
  2. 2.Zuletzt Instytut MatematykiUniwersytet WarszawskiWarszawaPolska
  3. 3.Department of MathematicsUniversity of CaliforniaBerkeleyUSA

Personalised recommendations