Benutzer:Frogfol/spielwiese/In Arbeit/Infinitäre Logik
Zur Navigation springen
Zur Suche springen
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
[Bearbeiten | Quelltext bearbeiten]Sei im Folgenden
Eigenschaften
[Bearbeiten | Quelltext bearbeiten]Weblinks
[Bearbeiten | Quelltext bearbeiten]- http://www.math.uni-konstanz.de/algebra/WS1011/Inflog.pdf
- http://plato.stanford.edu/entries/logic-infinitary/
Literatur
[Bearbeiten | Quelltext bearbeiten]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