Zusammenfassung
Dieses Kapitel enthält einfache Ergebnisse über Funktionenklassen, die durch endliche Schemata definiert sind. Solche Schemata kommen in der Mathematik häufig vor, z.B. Polynome über einem Ring, rationale Funktionen tiber einem Körper; hier werden sie hauptsächlich zur Konstruktion von Sprachen verwendet. Die in der Mathematik übliche Bezeichnung „Funktionenschema“ wird in späteren Kapiteln durch „Term“ ersetzt, um Verwechslungen zwischen diesen symbolischen Objekten und den durch sie bezeichneten Objekten, den Funktionen nämlich, zu vermeiden. Die „klammer freie“ Schreibweise wird durch Satz 2 gerechtfertigt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1972 Springer-Verlag Berlin-Heidelberg
About this chapter
Cite this chapter
Kreisel, G., Krivine, JL. (1972). Vorbereitungen. Definitionsschemata. In: Modelltheorie. Hochschultext. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-65302-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-65302-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05654-6
Online ISBN: 978-3-642-65302-5
eBook Packages: Springer Book Archive