Abstraction and definability in semantically closed structures

Journal of Philosophical Logic 14 (3):255 - 266 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00249366

Links

PhilArchive



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

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

Definability of R. E. sets in a class of recursion theoretic structures.Robert E. Byerly - 1983 - Journal of Symbolic Logic 48 (3):662-669.
Abstraction in computer science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
Admissible sets and structures: an approach to definability theory.Jon Barwise - 1975 - New York: Springer Verlag.
Definability in reducts of algebraically closed fields.Gary A. Martin - 1988 - Journal of Symbolic Logic 53 (1):188-199.
Some semantically closed languages.Charles Davis - 1974 - Journal of Philosophical Logic 3 (3):229 - 240.
Algebraic characterizations of various Beth definability properties.Eva Hoogland - 2000 - Studia Logica 65 (1):91-112.
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Definability in well quasi-ordered sets of structures.Charles K. Landraitis - 1977 - Journal of Symbolic Logic 42 (2):289-291.
Dual easy uniformization and model-theoretic descriptive set theory.Shaughan Lavine - 1991 - Journal of Symbolic Logic 56 (4):1290-1316.
Semantic closure, descriptions and non-triviality.Graham Priest - 1999 - Journal of Philosophical Logic 28 (6):549--558.

Analytics

Added to PP
2009-01-28

Downloads
42 (#370,986)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.

Add more references