The Embedding Theorem: Its Further Developments and Consequences. Part
Notre Dame Journal of Formal Logic 47 (4):525-540 (2006)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesClint J. Van Alten & James G. Raftery (2004). Rule Separation and Embedding Theorems for Logics Without Weakening. Studia Logica 76 (2):241-274.
Clint J. Van Alten & James G. Raftery (2004). Rule Separation and Embedding Theorems for Logics Without Weakening. Studia Logica 76 (2):241 - 274.
Steven D. Leonhardi (1997). Generalized Nonsplitting in the Recursively Enumerable Degrees. Journal of Symbolic Logic 62 (2):397-437.
Mamoru Kaneko (1999). Common Knowledge Logic and Game Logic. Journal of Symbolic Logic 64 (2):685-700.
Alfred Driessen (2005). Philosophical Consequences of the Gödel Theorem. In Eeva Martikainen (ed.), Human Approaches to the Universe. Luther-Agricola-Society.
Rami Grossberg & Monica VanDieren (2006). Shelah's Categoricity Conjecture From a Successor for Tame Abstract Elementary Classes. Journal of Symbolic Logic 71 (2):553 - 568.
J. Vickers & P. D. Welch (2001). On Elementary Embeddings From an Inner Model to the Universe. Journal of Symbolic Logic 66 (3):1090-1116.
Henk J. L. Luijk (1990). Recent Developments in European Business Ethics. Journal of Business Ethics 9 (7):537 - 544.
Wolfgang Rautenberg (1986). Applications of Weak Kripke Semantics to Intermediate Consequences. Studia Logica 45 (1):119 - 134.
Christoph Benzmüller & Lawrence C. Paulson (2013). Quantified Multimodal Logics in Simple Type Theory. Logica Universalis 7 (1):7-20.
Claes Strannegård (1999). Interpretability Over Peano Arithmetic. Journal of Symbolic Logic 64 (4):1407-1425.
Peter Koepke (1998). Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem. Journal of Symbolic Logic 63 (3):1137-1176.
Oleg V. Belegradek (1996). Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras. Notre Dame Journal of Formal Logic 37 (4):613-624.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads4 ( #178,473 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
