- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On second-order characterizability
Logic Journal of the IGPL 21 (5):767-787 (2013)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Second-order characterizable cardinals and ordinals.Benjamin R. George - 2006 - Studia Logica 84 (3):425 - 449.
Second-Order Characterizable Cardinals and Ordinals.Benjamin R. George - 2006 - Studia Logica 84 (3):425-449.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF.F. Ferrarotti, W. Ren & J. M. T. Torres - 2014 - Logic Journal of the IGPL 22 (2):355-386.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
David J. Kangas, Kierkegaard's Instant: On Beginnings.B. Gregor - 2008 - Philosophy in Review 28 (2):125.
Compactness in first order Łukasiewicz logic.N. Tavana, M. Pourmahdian & F. Didehvar - 2012 - Logic Journal of the IGPL 20 (1):254-265.
On the complexity of Bounded Second-Order Unification and Stratified Context Unification.J. Levy, M. Schmidt-Schauss & M. Villaret - 2011 - Logic Journal of the IGPL 19 (6):763-789.
Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder.Zhiguang Zhao - forthcoming - Logic Journal of the IGPL.
Analytics
Added to PP
2016-06-30
Downloads
24 (#646,352)
6 months
3 (#1,208,233)
2016-06-30
Downloads
24 (#646,352)
6 months
3 (#1,208,233)
Historical graph of downloads
Author's Profile
Citations of this work
Completeness and categoricity (in power): Formalization without foundationalism.John T. Baldwin - 2014 - Bulletin of Symbolic Logic 20 (1):39-79.
References found in this work
Constructing strongly equivalent nonisomorphic models for unstable theories.Tapani Hyttinen & Heikki Tuuri - 1991 - Annals of Pure and Applied Logic 52 (3):203-248.
Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ.Saharon Shelah - 1987 - Annals of Pure and Applied Logic 34 (3):291-310.
Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ.Saharon Shelah - 1987 - Annals of Pure and Applied Logic 34 (3):291.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo