Elementary Formal Systems for Hyperarithmetical Relations

Mathematical Logic Quarterly 24 (1‐6):25-30 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780240104

Other Versions

reprint Fitting, Melvin (1978) "Elementary Formal Systems for Hyperarithmetical Relations". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24(1-6):25-30

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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

Intrinsically Hyperarithmetical Sets.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):469-480.
Book review: Melvin Fitting. Computability theory, semantics, and logic programming. [REVIEW]Martin Davis - 1990 - Notre Dame Journal of Formal Logic 31 (3):485-486.
Melvin fitting, types tableaus and gödel's God.Roderic A. Girle - 2005 - Studia Logica 81 (3):425-427.
Book Review: Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Problem. [REVIEW]Stephen Pollard - 1997 - Notre Dame Journal of Formal Logic 38 (3):475-480.
Intrinsically II 11 Relations.Ivan Soskov - 1996 - Mathematical Logic Quarterly 42 (1):109-126.
Elementary Relations Between the Fundamental Theorem of Arithmetic, schnirelmann's Classical Theorem, and goldbach's Conjecture.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (13-17):199-201.
Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 , pp. 38–44.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
On Σ1 1 equivalence relations over the natural numbers.Ekaterina B. Fokina & Sy-David Friedman - 2012 - Mathematical Logic Quarterly 58 (1-2):113-124.

Analytics

Added to PP
2013-11-24

Downloads
17 (#1,164,273)

6 months
7 (#749,523)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

No citations found.

Add more citations

References found in this work

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.

Add more references