Advertisement

Definierbare Relationen

  • Martin Ziegler
Part of the Mathematik Kompakt book series (MAKO, volume 0)

Zusammenfassung

Das bedeutet, daß für eine L N -Formel φ
$$ R(a_1 , \ldots ,a_n ) \Leftrightarrow \mathfrak{N} \vDash \phi [a_1 , \ldots ,a_n ]. $$
Eine Funktion f heißt arithmetisch, wenn ihr Graph arithmetisch ist:
$$ f(a_1 , \ldots ,a_n ) = a_0 \Leftrightarrow \mathfrak{N} \vDash \phi _f [a_0 , \ldots ,a_n ]. $$

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser / Springer Basel AG 2010

Authors and Affiliations

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

Personalised recommendations