Jerzy Pogonowski - Metalogika - Uniwersytet Opolski
From Zakład Logiki Stosowanej
Wersja z dnia 11:19, 27 gru 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Dodatki) ← Poprzednia edycja |
Wersja z dnia 12:09, 27 gru 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Dodatki) Następna edycja → |
||
Linia 362: | Linia 362: | ||
* [[Media: wolfgangschonfeld.pdf | Wolfgang Schonfeld: Prolog extensions based on tableau calculus.]] | * [[Media: wolfgangschonfeld.pdf | Wolfgang Schonfeld: Prolog extensions based on tableau calculus.]] | ||
+ | |||
+ | ===Do wykładów 12-13=== | ||
+ | |||
+ | * [[Media: avigadherbrand.pdf | Jeremy Avigad: Between proof theory and model theory.]] | ||
+ | |||
+ | * [[Media: aecbaldwin.pdf | John T. Baldwin: Abstract Elementary Classes: Some Answers, More Questions.]] | ||
+ | |||
+ | * [[Media: reviewbadesa.pdf | John T. Baldwin: Review of ''The Birth of Model Theory'' by Calixto Badesa.]] | ||
+ | |||
+ | * [[Media: paulbankston.pdf | Paul Bankston: A Survey of Ultraproduct Constructions in General Topology.]] | ||
+ | |||
+ | * [[Media: caat.pdf | John T. Baldwin, Alexei Kolesnikov: Categoricity, amalgamation, and tameness.]] | ||
+ | |||
+ | * [[Media: lindstromfragmentfol.pdf | Balder ten Cate, Johan van Benthem, Jouko Vaananen: Lindstrom theorems for fragments of first-order logic.]] | ||
+ | |||
+ | * [[Media: zoechatzidakis.pdf | Zoe Chatzidakis: A Survey on the Model Theory of Difference Fields.]] | ||
+ | |||
+ | * [[Media: anujdawarfmt.pdf | Anuj Dawar: Finite Model Theory: First-Order Logic on the Class of Finite Models.]] | ||
+ | |||
+ | * [[Media: anujdawarlecture1.pdf | Anuj Dawar: Finite Model Theory Tutorial. Lecture 1.]] | ||
+ | |||
+ | * [[Media: jandenef.pdf | Jan Denef: Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields.]] | ||
+ | |||
+ | * [[Media: louvandendriesmtf.pdf | Lou van den Dries: Classical Model Theory of Fields.]] | ||
+ | |||
+ | * [[Media: fefermanharmonious.pdf | Solomon Feferman: Harmonious Logic: Craig's Interpolation Theorem and its Descendants.]] | ||
+ | |||
+ | * [[Media: braddhartstability.pdf | Bradd Hart: Stability Theory and its Variants.]] | ||
+ | |||
+ | * [[Media: denishirschfeldt.pdf | Denis R. Hirschfeldt: Reverse Mathematics of Model Theory.]] | ||
+ | |||
+ | * [[Media: amtandot.pdf | Denis R. Hirschfeldt, Richard A. Shore, Theodore A. Slaman: The Atomic Model Theorem and Type Omitting.]] | ||
+ | |||
+ | * [[Media: wilfridhodgeshistory.pdf | Wilfrid Hodges: Model Theory (Draft 20 Jul 00).]] | ||
+ | |||
+ | * [[Media: hodgestarskipadoa.pdf | Wilfrid Hodges: Tarski on Padoa's method.]] | ||
+ | |||
+ | * [[Media: zariskigeometries.pdf | Ehud Hrushovski, Boris Zilber: Zariski Geometries.]] | ||
+ | |||
+ | * [[Media: keislerultraproduct.pdf | H. Jerome Keisler: The ultraproduct construction.]] | ||
+ | |||
+ | * [[Media: phokionkolaitis.pdf | Phokion G. Kolaitis: Reflections on Finite Model Theory.]] | ||
+ | |||
+ | * [[Media: oliverkutz.pdf | Oliver Kutz: Modelltheorie - zwischen Philosopie und Mathematik.]] | ||
+ | |||
+ | * [[Media: laskowskishelah.pdf | M.C. Laskowski, S. Shelah: Decompositions of saturated models of stable theories.]] | ||
+ | |||
+ | * [[Media: jungjinlee.pdf | Jung Jin Lee: Ultraproducts in analysis.]] | ||
+ | |||
+ | * [[Media: dugaldmacpherson.pdf | Dugald Macpherson: Notes on o-Minimality and Variations.]] | ||
+ | |||
+ | * [[Media: davidmarkerintroductionmt.pdf | David Marker: Introduction to Model Theory.]] | ||
+ | |||
+ | * [[Media: davidmarkerdcf.pdf | David Marker: Model Theory of Differential Fields.]] | ||
+ | |||
+ | * [[Media: mazurmordelllang.pdf | Barry Mazur: Abelian Varieties and the Mordell-Lang Conjecture.]] | ||
+ | |||
+ | * [[Media: krzysztofjannowak.pdf | Krzysztof Jan Nowak: Notatki do wykładu ''Trochę Teorii Modeli i Geometrii''.]] | ||
+ | |||
+ | * [[Media: pillaymodeltheory.pdf | Anand Pillay: Lecture notes - Model Theory.]] | ||
+ | |||
+ | * [[Media: pillaystabilitytheory.pdf | Anand Pillay: Lecture notes - Stability Theory.]] | ||
+ | |||
+ | * [[Media: pillayappliedstability.pdf | Anand Pillay: Lecture notes - Applied Stability Theory.]] | ||
+ | |||
+ | * [[Media: rossmanhpt.pdf | Benjamin Rossman: Homomorphism Preservation Theorems.]] | ||
+ | |||
+ | * [[Media: wagneramalgamation.pdf | Frank O. Wagner: Hrushovski's Amalgamation Construction.]] | ||
+ | |||
+ | * [[Media: volkerweispfenning.pdf | Volker Weispfenning: Algebraische Modelltheorie.]] | ||
==Informacje pomocnicze== | ==Informacje pomocnicze== |
Wersja z dnia 12:09, 27 gru 2009
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Metalogika (Uniwersytet Opolski)
Dzięki uprzejmości Instytutu Filozofii Uniwersytetu Opolskiego Jerzy Pogonowski wygłosi dla doktorantów oraz studentów tego Instytutu cykl wykładów Metalogika. Wykłady będą odbywały się we wtorki (co dwa tygodnie), w sali 327 Collegium Civitas, Opole, ul. Katowicka 89.
Prezentacje
- Metalogika 0. Wstęp (historyczny). 13X2009, 10:00-11:30.
- Metalogika 1. Preliminaria algebraiczne. 13X2009, 14:15-15:45.
- Metalogika 2. Powtórka z Elementarza: dedukcja naturalna. 27X2009, 10:00-11:30.
- Metalogika 3. Ogólne operacje konsekwencji. 27X2009, 14:15-15:45.
- Metalogika 4. Logiki abstrakcyjne. Przykłady. 10XI2009, 10:00-11:30.
- Metalogika 5. Twierdzenia Lindströma. 10XI2009, 14:15-15:45.
- Metalogika 6. Funkcje rekurencyjne. 24XI2009, 10:00-11:30.
- Metalogika 7. Reprezentowalność w PA. Arytmetyzacja składni. 24XI2009, 14:15-15:45.
- Metalogika 8. Twierdzenia: Gödla, Rossera, Löba, Tarskiego. 8XII2009, 10:00-11:30.
- Metalogika 9. Teorie rozstrzygalne i teorie nierozstrzygalne. Twierdzenie Churcha. 8XII2009, 14:15-15:45.
- Metalogika 10. Tablice analityczne. 5I2010, 10:00-11:30.
- Metalogika 11. Inne metody dowodowe: formalizm Gentzena, metoda rezolucji. 5I2010, 14:15-15:45.
- Metalogika 12. Klasyczna teoria modeli. 19I2010, 10:00-11:30.
- Metalogika 13. Współczesna teoria modeli. 19I2010, 14:15-15:45.
- Metalogika 14. Metalogika a teoria mnogości. 2II2010, 10:00-11:30.
Dodatki
Do wykładów 0-3
Do wykładów 4-5
Do wykładów 6-7
Do wykładów 8-9
Do wykładów 10-11
Do wykładów 12-13
Informacje pomocnicze
Wszystkie pojęcia matematyczne wykorzystywane w wykładach będą objaśniane na bieżąco. Zakłada się, że słuchacze mają za sobą elementarny kurs logiki, obejmujący Klasyczny Rachunek Zdań (KRZ) oraz Klasyczny Rachunek Predykatów (KRP). Preliminaria logiczne i matematyczne znaleźć można np. w wykładach:
Znakomitym wstępem algebraicznym jest monografia:
Pomoce dydaktyczne z logiki matematycznej (zarówno polskie jak i obcojęzyczne) dostępne są na naszej stronie odnośników: