Advertisement

Semantik

  • Martin Ziegler
Chapter
Part of the Mathematik Kompakt book series (MAKO)

Zusammenfassung

Ein L-Term t hat erst dann einen Wert in einer L-Struktur, wenn man die Variablen von t mit Elementen von A belegt.

Sei \(\mathfrak{Q}\) der Körper der rationalen Zahlen und \(t=\cdot v_{0}+v_{1}v_{2}\). Wenn \(\beta(v_{i})=i+2\), ist \(t^{\mathfrak{Q}}[\beta]=2(3+4)=14\).

Copyright information

© Springer International Publishing Switzerland 2017

Authors and Affiliations

  • Martin Ziegler
    • 1
  1. 1.Mathematisches InstitutUniversität FreiburgFreiburgDeutschland

Personalised recommendations