- 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
Fraenkel-Carnap properties
Mathematical Logic Quarterly 51 (3):285 (2005)
Abstract
In the 1920's Fraenkel and Carnap raised the question of whether or not every finitely axiomatizable semantically complete theory formulated in the theory of types is categorical. Partial answers to this and a related question are presented for theories formulated in second-order logicMy notes
Similar books and articles
Simple expansions of classes satisfying Fraenkel-Carnap properties.George Weaver & Irena Penev - 2010 - Bulletin of the Section of Logic 39 (3/4):175-186.
The Fraenkel‐Carnap question for Dedekind algebras.George Weaver & Benjamin George - 2003 - Mathematical Logic Quarterly 49 (1):92-96.
Fraenkel–Carnap Questions for Equivalence Relations.George Weaver & Irena Penev - 2011 - Australasian Journal of Logic 10:52-66.
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.
The Fraenkel-Carnap Question for Limited Higher-Order Languages.George Weaver & B. George - 2010 - Bulletin of the Section of Logic 39 (1/2):1-9.
Classifying ℵo-categorical theories II: The existence of finitely axiomatizable proper class II theories.George Weaver & David Lippel - 1998 - Studia Logica 60 (2):275-297.
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
Analytics
Added to PP
2013-12-01
Downloads
7 (#1,413,139)
6 months
2 (#1,259,876)
2013-12-01
Downloads
7 (#1,413,139)
6 months
2 (#1,259,876)
Historical graph of downloads
Citations of this work
Carnap’s early metatheory: scope and limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.
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.
Fraenkel–Carnap Questions for Equivalence Relations.George Weaver & Irena Penev - 2011 - Australasian Journal of Logic 10:52-66.
References found in this work
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.
The Fraenkel‐Carnap question for Dedekind algebras.George Weaver & Benjamin George - 2003 - Mathematical Logic Quarterly 49 (1):92-96.
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-68866f4b87-hhxx8 uwo