A concrete final coalgebra theorem for ZF set theory

Abstract: "A special final coalgebra theorem, in the sytle of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's Anti-Foundation Axiom is replaced by a variant definition of function that admits non-well-founded constructions. Variant ordered pairs and tuples,...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Paulson, Lawrence C. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge 1994
Schriftenreihe:	Computer Laboratory <Cambridge>: Technical report 334
Schlagworte:	Applied statistics, operational research Computer software Mathematics Mathematik Set theory
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!