- 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
Local definability theory
Annals of Mathematical Logic 1 (1):95-137 (1970)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Remark to “local definability theory” of Reyes.S. Shelah - 1971 - Annals of Mathematical Logic 2 (4):441-447.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Mutual definability does not imply definitional equivalence, a simple example.Hajnal Andréka, Judit X. Madarász & István Németi - 2005 - Mathematical Logic Quarterly 51 (6):591-597.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Note on Supervenience and Definability.Lloyd Humberstone - 1998 - Notre Dame Journal of Formal Logic 39 (2):243-252.
Admissible sets and structures: an approach to definability theory.Jon Barwise - 1975 - New York: Springer Verlag.
On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.
Some local definability results on countable topological structures.Holger Eisenmenger - 1983 - Journal of Symbolic Logic 48 (3):683-692.
On definability of normal subgroups of a superstable group.Akito Tsuboi - 1992 - Mathematical Logic Quarterly 38 (1):101-106.
Arithmetical definability over finite structures.Troy Lee - 2003 - Mathematical Logic Quarterly 49 (4):385.
Definability and Invariance.N. C. A. da Costa & A. A. M. Rodrigues - 2007 - Studia Logica 86 (1):1-30.
Analytics
Added to PP
2014-01-17
Downloads
19 (#793,504)
6 months
9 (#300,363)
2014-01-17
Downloads
19 (#793,504)
6 months
9 (#300,363)
Historical graph of downloads
Citations of this work
Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.
Toward model theory through recursive saturation.John Stewart Schlipf - 1978 - Journal of Symbolic Logic 43 (2):183-206.
On automorphisms of arbitrary mathematical systems.José Sebastião E. Silva & A. J. Franco de Oliveira - 1985 - History and Philosophy of Logic 6 (1):91-116.
Applications of vaught sentences and the covering theorem.Victor Harnik & Michael Makkai - 1976 - Journal of Symbolic Logic 41 (1):171-187.
Remark to “local definability theory” of Reyes.S. Shelah - 1971 - Annals of Mathematical Logic 2 (4):441-447.
References found in this work
Logic with denumerably long formulas and finite strings of quantifiers.Dana Scott - 1965 - Journal of Symbolic Logic 36 (1):1104--329.
Continuous model theory.Chen Chung Chang - 1966 - Princeton,: Princeton University Press. Edited by H. Jerome Keisler.
Some applications of infinitely long formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.
Finite Approximations of Infinitely Long Formulas.H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):129-130.
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-55b469568f-bl6rh uwo