An effective selection theorem

Journal of Symbolic Logic 47 (2):388-394 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273148

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

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

A selection theorem.Lefteris Miltiades Kirousis - 1983 - Journal of Symbolic Logic 48 (3):585-594.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Preservation theorem and relativization theorem for cofinal extensions.Nobuyoshi Motohashi - 1986 - Journal of Symbolic Logic 51 (4):1022-1028.
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
The completeness theorem for infinitary logic.Richard Mansfield - 1972 - Journal of Symbolic Logic 37 (1):31-34.
Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
A reduction theorem for predicate logic.M. H. Löb - 1972 - Journal of Symbolic Logic 37 (2):352-354.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.

Analytics

Added to PP
2009-01-28

Downloads
52 (#437,458)

6 months
14 (#181,413)

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

Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
Some applications of forcing to hierarchy problems in arithmetic.Peter G. Hinman - 1969 - Mathematical Logic Quarterly 15 (20-22):341-352.

Add more references