Herbrand and Skolem Theorems in Infinitary Languages
Oslo,Universitetet I Oslo, Matematisk Institutt (1972)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Infinitary languages | |||||||||
| Categories | ||||||||||
| Call number | QA9.37.J47 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesJohn Gregory (1974). Beth Definability in Infinitary Languages. Journal of Symbolic Logic 39 (1):22-26.
Jörg Flum (1971). A Remark on Infinitary Languages. Journal of Symbolic Logic 36 (3):461-462.
Herman Ruge Jervell (1972). On Skolem and Herbrand Theorems for Intuitionistic Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
M. A. Dickmann (1970). Model Theory of Infinitary Languages. [Aarhus, Denmark,Universitet, Matematisk Institut].
H. Jerome Keisler (1971). Model Theory for Infinitary Logic. Amsterdam,North-Holland Pub. Co..
M. A. Dickmann (1975). Large Infinitary Languages: Model Theory. American Elsevier Pub. Co..
John 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.
Maaret Karttunen (1983). Model Theoretic Results for Infinitely Deep Languages. Studia Logica 42 (2-3):223 - 241.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
