The Development of Categorical Logic
| Abstract | 5.5. Every topos is linguistic: the equivalence theorem. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| 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 | Only published papers are available at libraries |
Similar books and articlesFrances Howard-Snyder (2012). The Power of Logic. Mcgraw-Hill.
Michael Chris Laskowski (1988). Uncountable Theories That Are Categorical in a Higher Power. Journal of Symbolic Logic 53 (2):512-530.
Gregory Cherlin (1980). On ℵ0-Categorical Nilrings. II. Journal of Symbolic Logic 45 (2):291 - 301.
Keith A. Kearnes (2000). Categorical Quasivarieties Via Morita Equivalence. Journal of Symbolic Logic 65 (2):839-856.
Olivier Lessmann (2005). Upward Categoricity From a Successor Cardinal for Tame Abstract Classes with Amalgamation. Journal of Symbolic Logic 70 (2):639 - 660.
Pierre-Louis Curien (1989). Alpha-Conversion, Conditions on Variables and Categorical Logic. Studia Logica 48 (3):319 - 360.
Stephen Read (1997). Completeness and Categoricity: Frege, Gödel and Model Theory. History and Philosophy of Logic 18 (2):79-93.
Enrique Alvarez & Manuel Correia (2012). Syllogistic with Indefinite Terms. History and Philosophy of Logic 33 (4):297-306.
Kazem Sadegh-Zadeh (1982). Foundations of Clinical Praxiology Part II: Categorical and Conjectural Diagnoses. Theoretical Medicine and Bioethics 3 (1):101-114.
Walter Baur (1975). ℵ0-Categorical Modules. Journal of Symbolic Logic 40 (2):213 - 220.
David Hitchcock (2000). Fallacies and Formal Logic in Aristotle. History and Philosophy of Logic 21 (3):207-221.
Barbara Veit (1981). A Proof of the Associated Sheaf Theorem by Means of Categorical Logic. Journal of Symbolic Logic 46 (1):45-55.
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.
Anand Pillay & Mark D. Schlatter (2002). Some Results on Permutation Group Isomorphism and Categoricity. Journal of Symbolic Logic 67 (3):910-914.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads10 ( #106,150 of 548,976 )Recent downloads (6 months)1 ( #63,511 of 548,976 )How can I increase my downloads? |
My notes
Discussion
