Robinson Julia. Definability and decision problems in arithmetic

Journal of Symbolic Logic 15 (1):68-69 (1950)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268461

Links

PhilArchive



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

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

Review: Julia Robinson, Definability and Decision Problems in Arithmetic. [REVIEW]Th Skolem - 1950 - Journal of Symbolic Logic 15 (1):68-69.
Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.
Existential Definability in Arithmetic.Julia Robinson - 1955 - Journal of Symbolic Logic 20 (2):182-183.
Review: Julia Robinson, Existential Definability in Arithmetic. [REVIEW]Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (2):182-183.
Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility.Denis Richard - 1985 - Journal of Symbolic Logic 50 (4):927-935.
A note on definability in fragments of arithmetic with free unary predicates.Stanislav O. Speranski - 2013 - Archive for Mathematical Logic 52 (5-6):507-516.
Review: Julia Robinson, Diophantine Decision Problems. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):603-603.
Church Alonzo and Quine W. V.. Some theorems on definability and decidability. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
Review: Alonzo Church, W. V. Quine, Some Theorems on Definability and Decidability. [REVIEW]Julia Robinson - 1953 - Journal of Symbolic Logic 18 (3):269-269.
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
Review: Alonzo Church, Binary Recursive Arithmetic. [REVIEW]Julia Robinson - 1958 - Journal of Symbolic Logic 23 (1):35-35.
Review: Alonzo Church, Laszlo Kalmar, An Independence Question in Recursive Arithmetic. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
Some Problems of Definability in the Lower Predicate Calculus.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):171-171.
Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
Review: Abraham Robinson, Some Problems of Definability in the Lower Predicate Calculus. [REVIEW]W. Peremans - 1960 - Journal of Symbolic Logic 25 (2):171-171.

Analytics

Added to PP
2016-06-30

Downloads
6 (#1,453,583)

6 months
2 (#1,193,798)

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

No references found.

Add more references