On Languages which are Based on Non-Standard Arithmetic

Journal of Symbolic Logic 34 (3):516-517 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270954

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

Review: Abraham Robinson, On Languages which are Based on Non-Standard Arithmetic. [REVIEW]James R. Geiser - 1969 - Journal of Symbolic Logic 34 (3):516-517.
Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.
A constructive analysis of learning in Peano Arithmetic.Federico Aschieri - 2012 - Annals of Pure and Applied Logic 163 (11):1448-1470.
Algebraic Function Fields and Non-Standard Arithmetic.Abraham Robinson, W. A. J. Luxemburg & A. Robinson - 1974 - Journal of Symbolic Logic 39 (2):339-340.
Non‐standard Analysis in WKL 0.Kazuyuki Tanaka - 1997 - Mathematical Logic Quarterly 43 (3):396-400.
Review: Abraham Robinson, W. A. J. Luxemburg, A. Robinson, Algebraic Function Fields and Non-Standard Arithmetic. [REVIEW]Diana L. Dubrovsky - 1974 - Journal of Symbolic Logic 39 (2):339-340.
A model for intuitionistic non-standard arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.
Formalizing non-standard arguments in second-order arithmetic.Keita Yokoyama - 2010 - Journal of Symbolic Logic 75 (4):1199-1210.
Relative arithmetic.Sam Sanders - 2010 - Mathematical Logic Quarterly 56 (6):564-572.
On the complexity of models of arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Weak theories of nonstandard arithmetic and analysis.Jeremy Avigad - manuscript
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic.Nobuyuki Sakamoto & Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (5-6):465-480.
On the foundations of Greek arithmetic.Holger A. Leuz - 2009 - History of Philosophy & Logical Analysis 12:13-47.

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,228,347)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Truth without standard models: some conceptual problems reloaded.Eduardo Barrio & Bruno Da Ré - 2018 - Journal of Applied Non-Classical Logics 28 (1):122-139.
Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.
Full Satisfaction Classes, Definability, and Automorphisms.Bartosz Wcisło - 2022 - Notre Dame Journal of Formal Logic 63 (2):143-163.
Undefinability of truth and nonstandard models.Roman Kossak - 2004 - Annals of Pure and Applied Logic 126 (1-3):115-123.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references