Model Theory for Infinitary Logic
Amsterdam,North-Holland Pub. Co. (1971)
| Abstract | Provability, Computability and Reflection | |||||||||
| Keywords | Infinitary languages Model theory | |||||||||
| Categories | ||||||||||
| Buy the book | $192.11 direct from Amazon (11% off) $305.50 new Amazon page | |||||||||
| Call number | QA9.K33 | |||||||||
| ISBN(s) | 0720422582 9780720422580 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJohn L. Bell, Infinitary Logic. Stanford Encyclopedia of Philosophy.
Attila Máté (1971). Incompactness in Infinitary Languages with Respect to Boolean-Valued Interpretations. Szeged,University of Szeged Bolyai Mathematical Institute.
Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge (2008). Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17 (1).
Saharon Shelah (1973). Weak Definability in Infinitary Languages. Journal of Symbolic Logic 38 (3):399-404.
Herman Ruge Jervell (1972). Herbrand and Skolem Theorems in Infinitary Languages. Oslo,Universitetet I Oslo, Matematisk Institutt.
Jerome Malitz (1971). Infinitary Analogs of Theorems From First Order Model Theory. Journal of Symbolic Logic 36 (2):216-228.
Maaret Karttunen (1983). Model Theoretic Results for Infinitely Deep Languages. Studia Logica 42 (2-3):223 - 241.
M. A. Dickmann (1970). Model Theory of Infinitary Languages. [Aarhus, Denmark,Universitet, Matematisk Institut].
M. A. Dickmann (1975). Large Infinitary Languages: Model Theory. American Elsevier Pub. Co..
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #113,901 of 548,972 )Recent downloads (6 months)3 ( #25,799 of 548,972 )How can I increase my downloads? |
My notes
Discussion
