Model Theory for Intuitionistic Logic

eLibrary

 
 

Model Theory for Intuitionistic Logic

Show simple item record

dc.contributor.advisor Scott Weinstein
dc.contributor.author Marković, Zoran en_US
dc.date.accessioned 2009-12-03T12:20:48Z
dc.date.available 2009-12-03T12:20:48Z
dc.identifier.uri http://hdl.handle.net/123456789/317
dc.description.abstract The results from this thesis are obtained by using notions and procedures which are well-known in Kripke structures in the first place, together with some other constructions. They might provides insights about intuitionistic formal theories analogous to insights about classical logic provided by results of classical model theory. The thesis consists of three chapters. The definitions concerning syntax of the first order intuitionistic logic, the definitions and theorems about Kripke structures, Hayting algebras and saturated theories are given in Chapter 1. In the first part of the next chapter a few results about the connection between forcing and classical satisfaction relation are proved. In the second part of that chapter three alternatives of the antecedent of the omitting type theorem are presented, and an omitting types theorem is proved. It is important that there are many applications of that theorem. In Chapter 3 the following two kinds of products are considered: prime products of saturated theories and ultra products and reduced products of Kripke structures. In the first part of that chapter the following property is proved: a simple analogue of ultraproduct construction can be defined in terms of saturated theories. The important result from the second part of Chapter 3 is that the class of formulas preserved under reduced products is much broader than the class of formulas which are intuitionistically equivalent to Horn formulas. en
dc.description.provenance Made available in DSpace on 2009-12-03T12:20:48Z (GMT). No. of bitstreams: 1 phdZoranMarkovic.pdf: 9114094 bytes, checksum: 47579ab912fed0674a45db6ddaa5531f (MD5) en
dc.publisher Pennsylvania en_US
dc.title Model Theory for Intuitionistic Logic en_US
mf.subject.keywords intuitionistic logic, Kripke structures, model theory
mf.contributor.committee Michael Friedman

Files in this item

Files Size Format View
phdZoranMarkovic.pdf 9.114Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record