Cardinality logics. Part II: Definability in languages based on `exactly'

Journal of Symbolic Logic 53 (3):765-784 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

reprint Hodes, Harold (1988) "Cardinality logics, part I: inclusions between languages based on ‘exactly’". Annals of Pure and Applied Logic 39(3):199-238

Similar books and articles

Logics containing k4. part II.Kit Fine - 1985 - Journal of Symbolic Logic 50 (3):619-651.
Implicit definability and infinitary languages.Kenneth Kunen - 1968 - Journal of Symbolic Logic 33 (3):446-451.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Beth definability in infinitary languages.John Gregory - 1974 - Journal of Symbolic Logic 39 (1):22-26.
Uniform inductive definability and infinitary languages.Anders M. Nyberg - 1976 - Journal of Symbolic Logic 41 (1):109-120.
Implicit definability and compactness in infinitary languages.Mihály Makkai - 1972 - Journal of Symbolic Logic 37 (1):201-202.

Analytics

Added to PP
2009-01-28

Downloads
445 (#70,838)

6 months
127 (#48,929)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Harold Hodes
Cornell University

Citations of this work

Add more citations

References found in this work

Logicism and the ontological commitments of arithmetic.Harold T. Hodes - 1984 - Journal of Philosophy 81 (3):123-149.
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.

View all 6 references / Add more references