Characterization of □κin core models
Journal of Mathematical Logic 4 (01):1-72 (2004)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
|
| Through your library | Configure |
Ernest Schimmerling & Martin Zeman (2001). Square in Core Models. Bulletin of Symbolic Logic 7 (3):305-314.
Itay Neeman (2007). Inner Models and Ultrafilters in L(R). Bulletin of Symbolic Logic 13 (1):31-53.
Adam Obtułowicz (1989). Categorical and Algebraic Aspects of Martin-Löf Type Theory. Studia Logica 48 (3):299 - 317.
Philip Welch (1987). The Reals in Core Models. Journal of Symbolic Logic 52 (1):64-67.
Gila Sher (2003). A Characterization of Logical Constants is Possible. Theoria 18 (2):189-198.
Harold Schellinx (1991). Isomorphisms and Nonisomorphisms of Graph Models. Journal of Symbolic Logic 56 (1):227-249.
Josep E. Corbí (1993). Classical and Connectionist Models: Levels of Description. Synthese 95 (2):141 - 168.
Kai Hauser (1999). A Minimal Counterexample to Universal Baireness. Journal of Symbolic Logic 64 (4):1601-1627.
Ralf Schindler (2006). Core Models in the Presence of Woodin Cardinals. Journal of Symbolic Logic 71 (4):1145 - 1154.
Achille Varzi (2002). On Logical Relativity. Noûs 36 (s1):197-219.
Jan Eijck, Ji Ruan & Tomasz Sadzik (2012). Action Emulation. Synthese 185 (S1):131-151.
Jürgen Dix & David Makinson (1992). The Relationship Between KLM and MAK Models for Nonmonotonic Inference Operations. Journal of Logic, Language and Information 1 (2).
Eric J. Hall (2002). A Characterization of Permutation Models in Terms of Forcing. Notre Dame Journal of Formal Logic 43 (3):157-168.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-09-02Total downloads0Recent downloads (6 months)0How can I increase my downloads? |

