On Prucnal's model-determined logic and definable predicates

• Autorzy: Wroński A.
• Języki publikacji: EN

Abstrakty

EN

Prucnal's concept of a logic determined by a model is discussed. It is proved that logics different from the pure first-order one can be determined by models with undecidable theories.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2004
• Tom: Nr 38
• Strony: 87--91

Twórcy

autor

Wroński A.

• Department of Logic, Jagiellonian University, Grodzka 52, Kraków 31-044, Poland,

Bibliografia

• [1] C.C. Chang, H.J. Keisler, Model Theory, vol. 73 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, third ed., 1990.
• [2] A. Church, Introduction to Mathematical Logic, vol. 1, Princeton Univ. Press, Princeton, 1956.
• [3] D. Hilbert, P. Bernays, Grundlagen der Mathematik II, Springer-Verlag, Berlin, 1939.
• [4] S.C. Kleene, Introduction to Metamathematics, North-Holland Publishing Co., Amsterdam, 1967. Fifth reprint.
• [5] T. Prucnal, Logics of relational systems, Bull. of the Section of Logic, Polish Acad. Sci., 19 (1990).
• [6] A. Wroński, The logic determined - in the sense of T. Prucnal - by decidable first- order structures. Streszczenia referatów XLI Konferencji Historii Logiki, Kraków, 24-25 październik, 1995.
• [7] A. Wroński, Uwagi o logice wyznaczonej - w sensie Tadeusza Prucnala - przez struktury o rozstrzygalnych zawartościach, in Byt, Logos, Matematyka, J. Perzanowski and A. Pietruszczak, eds., Wydawnictwo Uniwersytetu Mikołaja Kopernika, Toruń, 1997, pp. 233-236. Księga pamiątkowa bloku ontologiczno-logicznego VI Polskiego Zjazdu Filozoficznego, Toruń, 5-9 września 1995 r.