Arithmetical definability of field elements

Journal of Symbolic Logic 16 (2):125-126 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266685

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

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

Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
Knowledge of arithmetic.C. S. Jenkins - 2005 - British Journal for the Philosophy of Science 56 (4):727-747.
Definability, automorphisms, and dynamic properties of computably enumerable sets.Leo Harrington & Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (2):199-213.
Arithmetical and specular self-reference.Damjan Bojadžiev - 2004 - Acta Analytica 19 (33):55-63.
Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers.Denis Richard - 1989 - Journal of Symbolic Logic 54 (4):1253-1287.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.

Analytics

Added to PP
2009-01-28

Downloads
28 (#582,809)

6 months
5 (#693,173)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

In memoriam: Raphael Mitchel Robinson.Leon Henkin - 1995 - Bulletin of Symbolic Logic 1 (3):340-343.

Add more citations

References found in this work

A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.

Add more references