Review: Karel Louis de Bouvere, A Method in Proofs of Undefinability, with Applications to Functions in the Arithmetic of Natural Numbers [Book Review]

Journal of Symbolic Logic 25 (3):271-273 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964710

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Bouvère Karel Louis de. A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam 1959. North-Holland Publishing Company, Amsterdam 1959, XV + 64 pp.Bouvère Karel Louis de. Stellingen. Leaflet distributed with the foregoing, 4 pp. unnumbered. [REVIEW]Gert H. Müller - 1960 - Journal of Symbolic Logic 25 (3):271-273.
Gert H. Müller. Nicht-Standardmodelle der Zahlentheorie. Mathematische Zeitschrift, vol. 77 , pp. 414–438.Abraham Robinson - 1972 - Journal of Symbolic Logic 37 (2):405-406.
Undefinability of truth and nonstandard models.Roman Kossak - 2004 - Annals of Pure and Applied Logic 126 (1-3):115-123.
Logic and Arithmetic. Volume 1. Natural Numbers.Michael D. Resnik - 1982 - Journal of Symbolic Logic 47 (3):708-713.
Bridge to abstract mathematics.Ralph W. Oberste-Vorth - 2012 - [Washington, DC]: Mathematical Association of America. Edited by Aristides Mouzakitis & Bonita A. Lawrence.
Review: K. L. de Bouvere, A Mathematical Characterization of Explicit Definability. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (4):687-687.
Review: Michael O. Rabin, Yehoshua Bar-Hillel, A Simple Method for Undecidability Proofs and Some Applications. [REVIEW]William Hanf - 1971 - Journal of Symbolic Logic 36 (1):150-150.
Review: S. C. Kleene, General Recursive Functions of Natural Numbers. [REVIEW]Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-38.
Review: A. Grzegorczyk, Some Proofs of Undecidability of Arithmetic. [REVIEW]W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):46-47.
Review: Piergiorgio Odifreddi, Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers. [REVIEW]Peter G. Hinman - 1990 - Journal of Symbolic Logic 55 (3):1307-1308.

Analytics

Added to PP
2013-11-03

Downloads
4 (#1,644,260)

6 months
28 (#112,168)

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