Non-well-founded Sets (Center for the Study of Language and Information - Lecture Notes) - Hardcover

Aczel, Peter

Hardcover

ISBN 10: 0937073210 ISBN 13: 9780937073216

Verlag: Center for the Study of Language and Information Publica Tion, 1988

Inhaltsangabe

Nicht begründete Strukturen entstehen auf vielfältige Weise in der Semantik sowohl natürlicher als auch formaler Sprachen. Zwei Beispiele sind nicht begründete Situationen und nicht beendende Rechenprozesse. Eine natürliche Modellierung solcher Strukturen in der Mengentheorie erfordert den Einsatz nicht begründeter Mengen. Dieser Text präsentiert den mathematischen Hintergrund des Anti-Foundation-Axioms und verwandten Axiomen, die die Existenz von nicht gut begründeten Sätzen implizieren, wenn sie anstelle des Axioms der Grundlage in der axiomatischen Mengentheorie verwendet werden.

Details zur Ausgabe

• Verlag: Center for the Study of Language and Information Publica Tion
• Erscheinungsdatum: 1988
• Sprache: Englisch
• ISBN 10: 0937073210
• ISBN 13: 9780937073216
• Einband: Gebundene Ausgabe
• Anzahl der Seiten: 131
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar