↓ Skip to main content

Metamathematische Methoden in der Geometrie

Overview of attention for book
Cover of 'Metamathematische Methoden in der Geometrie'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Einleitung
  3. Altmetric Badge
    Chapter 2 Das Tarskische Axiomensystem, kartesische Räume
  4. Altmetric Badge
    Chapter 3 Folgerungen aus A1 bis A5
  5. Altmetric Badge
    Chapter 4 Einfache Sätze über die Zwischenbeziehung
  6. Altmetric Badge
    Chapter 5 Einfache Sätze über Kongruenz und Zwischenbeziehung
  7. Altmetric Badge
    Chapter 6 Konnexität der Zwischenbeziehung und Streckenvergleich
  8. Altmetric Badge
    Chapter 7 Halbgeraden und Geraden
  9. Altmetric Badge
    Chapter 8 Punktspiegelungen
  10. Altmetric Badge
    Chapter 9 Rechte Winkel
  11. Altmetric Badge
    Chapter 10 Halbebenen und Ebenen, Unterräume
  12. Altmetric Badge
    Chapter 11 Geradenspiegelungen
  13. Altmetric Badge
    Chapter 12 Kongruenz und Größenvergleich von Winkeln, Kongruenzsätze, Orthogonalität für Unterräume
  14. Altmetric Badge
    Chapter 13 Parallelität (im euklidischen Sinne)
  15. Altmetric Badge
    Chapter 14 Die Sätze von Pappus-Pascal und von Desargues
  16. Altmetric Badge
    Chapter 15 Einführung eines angeordneten Körpers
  17. Altmetric Badge
    Chapter 16 Längen von Strecken
  18. Altmetric Badge
    Chapter 17 Koordinaten
  19. Altmetric Badge
    Chapter 18 Hilfsmittel aus der mathematischen Logik
  20. Altmetric Badge
    Chapter 19 Übersicht über betrachtete Geometrien
  21. Altmetric Badge
    Chapter 20 Entscheidbarkeit, Vollständigkeit, Finitisierbarkeit
  22. Altmetric Badge
    Chapter 21 Definierbarkeitsfragen
  23. Altmetric Badge
    Chapter 22 Modellvollständigkeit
  24. Altmetric Badge
    Chapter 23 Präfixtypen
  25. Altmetric Badge
    Chapter 24 Allgemeine affine Geometrie
  26. Altmetric Badge
    Chapter 25 Hinweise auf weitere Ergebnisse
Attention for Chapter 21: Definierbarkeitsfragen
Altmetric Badge

Citations

dimensions_citation
122 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Definierbarkeitsfragen
Chapter number 21
Book title
Metamathematische Methoden in der Geometrie
Published by
Springer, Berlin, Heidelberg, January 1983
DOI 10.1007/978-3-642-69418-9_21
Book ISBNs
978-3-54-012958-5, 978-3-64-269418-9
Authors

Wolfram Schwabhäuser, Wanda Szmielew, Alfred Tarski, Schwabhäuser, Wolfram, Szmielew, Wanda, Tarski, Alfred