1993 | OriginalPaper | Buchkapitel
Presentations
verfasst von : Stephen L. Bloom, Zoltán Ésik
Erschienen in: Iteration Theories
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this chapter, we define a general notion of presentation, applicable to all Conway or iteration theories. We state and prove a general version of Kleene’s theorem. We then apply presentations to give a necessary and sufficient condition that an iteration theory is the coproduct of an iteration theory and a free iteration theory. This technical result will be used in the axiomatization results of Chapters 12 and 13.