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,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 and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.
Robinson Julia. Definability and decision problems in arithmetic.Th Skolem - 1950 - Journal of Symbolic Logic 15 (1):68-69.
Review: Julia Robinson, Definability and Decision Problems in Arithmetic. [REVIEW]Th Skolem - 1950 - Journal of Symbolic Logic 15 (1):68-69.
An isomorphism between monoids of external embeddings: About definability in arithmetic.Mihai Prunescu - 2002 - Journal of Symbolic Logic 67 (2):598-620.
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.
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.
Definability of Initial Segments.Akito Tsuboi & Saharon Shelah - 2002 - Notre Dame Journal of Formal Logic 43 (2):65-73.
Undefinability vs. Definability of Satisfaction and Truth.Roman Murawski - 1999 - Vienna Circle Institute Yearbook 6:203-215.
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.
Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
On definability in multimodal logic: On definability in multimodal logic.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):451-468.
Nonstandard definability.Stuart T. Smith - 1989 - Annals of Pure and Applied Logic 42 (1):21-43.
Decision problems concerning s-arithmetic groups.Fritz Grunewald & Daniel Segal - 1985 - Journal of Symbolic Logic 50 (3):743-772.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,510,250)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.

Add more citations

References found in this work

No references found.

Add more references