Friedman, Sy D. and VeliCkovit, B., Al-Definability

, , , , &
Annals of Pure and Applied Logic 89 (1):277 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(97)00006-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Δ1-Definability.Sy D. Friedman & Boban Veličković - 1997 - Annals of Pure and Applied Logic 89 (1):93-99.
< i> Δ_< sub> 1-Definability.Sy D. Friedman & Boban Veličković - 1997 - Annals of Pure and Applied Logic 89 (1):93-99.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Definability degrees.Sy D. Friedman - 2005 - Mathematical Logic Quarterly 51 (5):448-449.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Definability in physics.David Jacob BenDaniel - unknown
Interpreting Friedman's View of Business.Darlene O'Leary - 2004 - Journal of Macrodynamic Analysis 4:40-52.
On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.
Fine, Arthur 30 Finley, MI 53 Fishburn, PC 133, 140,151 Fodor. J. 250, 271.R. W. Fogel, J. Foreman-Peck, R. E. Frank, G. Frege, B. S. Frey, B. Friedman, Michael Friedman, Milton Friedman, R. Gagnier & P. Galison - 2001 - In Uskali Mäki (ed.), The Economic World View: Studies in the Ontology of Economics. Cambridge University Press.
Reflections on Michael Friedman's dynamics of reason.David Corfield - unknown
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.
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
Definability and a nonlinear sigma model.David Jacob BenDaniel - unknown

Analytics

Added to PP
2014-03-24

Downloads
11 (#1,105,752)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1-6):66-92.
On Pascal triangles modulo a prime power.Alexis Bés - 1997 - Annals of Pure and Applied Logic 89 (1):17-35.

Add more references