Benutzer:Frogfol/spielwiese/In Arbeit/Infinitäre Logik

Eine infinitäre Logik (auch: infinitäre Sprache) ist eine Erweiterung der Prädikatenlogik der ersten Stufe, sodass unendlich lange Sätze gebildet werden können und über unendlich viele Variablen gleichzeitig quantifiziert werden kann.

Definition

Sei im Folgenden

Weblinks

• http://www.math.uni-konstanz.de/algebra/WS1011/Inflog.pdf
• http://plato.stanford.edu/entries/logic-infinitary/

Literatur

Carol Karp: Infinitary logic, Springer 1975. ISBN

• Chang, Chen C., Keisler, H.Jerome: Model theory. Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990. ISBN 0-444-88054-2
• Frank Robert Drake: Set Theory. North-Holland Publ. Co. [u.a.], Amsterdam [u.a.], 1974 ISBN 0-7204-2279-5 , 0-444-10535-2
• Thomas Jech: Set Theory. 3. millenium edition, revised and expanded. Springer, Berlin u. a. 2003, ISBN 3-540-44085-2

Kategorie:Mengenlehre