A note on constructible sets of integers

Notre Dame Journal of Formal Logic 4 (4):270-273 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957652

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

Degrees of unsolvability of constructible sets of integers.George Boolos & Hilary Putnam - 1968 - Journal of Symbolic Logic 33 (4):497-513.
The number of certain integral polynomials and nonrecursive sets of integers, part.Harvey Friedman - manuscript
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Review of Levin's ”Putnam on reference and constructible sets' (1997). [REVIEW]Daniel J. Velleman - 1998 - MATHEMATICAL REVIEWS 98:1364.
Characterizing simpler recognizable sets of integers.Michel Rigo - 2004 - Studia Logica 76 (3):407 - 426.
Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups. [REVIEW]Anatole Khelif - 1996 - Journal of Symbolic Logic 61 (1):277 - 284.
Dedekind's 1871 version of the theory of ideals.Jeremy Avigad - manuscript
Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.
Putnam on reference and constructible sets.Michael Levin - 1997 - British Journal for the Philosophy of Science 48 (1):55-67.
Μ-definable sets of integers.Robert S. Lubarsky - 1993 - Journal of Symbolic Logic 58 (1):291-313.
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.
Eventually infinite time Turing machine degrees: Infinite time decidable reals.P. D. Welch - 2000 - Journal of Symbolic Logic 65 (3):1193-1203.
Lecture notes on enormous integers.Harvey Friedman - manuscript
Generalizations of Gödel's universe of constructible sets.Sy-David Friedman - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.

Analytics

Added to PP
2010-08-24

Downloads
36 (#440,326)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Gaps in the contructable universe.W. Marek & M. Srebrny - 1974 - Annals of Mathematical Logic 6 (3-4):359-394.
Constructible β‐models.Herbert B. Enderton - 1973 - Mathematical Logic Quarterly 19 (14‐18):277-282.
Constructible models of subsystems of ZF.Richard Gostanian - 1980 - Journal of Symbolic Logic 45 (2):237-250.
Undefinable sets.Rudolf V. B. Rucker - 1974 - Annals of Mathematical Logic 6 (3):395.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references