A Metamathematical Theorem on Functions

Journal of Symbolic Logic 24 (1):65-66 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964597

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: Gaisi Takeuti, A Metamathematical Theorem on Functions. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-66.
A Metamathematical Theorem on the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):62-62.
Review: Gaisi Takeuti, A Metamathematical Theorem on the Theory of Ordinal Numbers. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):62-62.
An approximate Herbrand’s theorem and definable functions in metric structures.Isaac Goldbring - 2012 - Mathematical Logic Quarterly 58 (3):208-216.
An inverse of bell's theorem.Kaj B. Hansen - 1995 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 26 (1):63 - 74.
A generalization of the interpolation theorem for the many-sorted calculus.Krzysztof Rudnik - 1984 - Bulletin of the Section of Logic 13 (1):2-8.
Uniformly computable aspects of inner functions: estimation and factorization.Timothy H. McNicholl - 2008 - Mathematical Logic Quarterly 54 (5):508-518.
Effective Borel measurability and reducibility of functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.
From Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Goedel's Incompleteness Theorem.Byoung-il Choi - 1997 - Dissertation, University of California, Berkeley
Cantor theorem and friends, in logical form.Silvio Valentini - 2013 - Annals of Pure and Applied Logic 164 (4):502-508.
Products of non-additive measures: a Fubini-like theorem.Christian Bauer - 2012 - Theory and Decision 73 (4):621-647.
Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension.Toshio Nishimura & Setsuya Seki - 1967 - Journal of Symbolic Logic 32 (2):283-284.
The PCF Trichotomy Theorem does not hold for short sequences.Menachem Kojman & Saharon Shelah - 2000 - Archive for Mathematical Logic 39 (3):213-218.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic.Ksenija Simic - 2007 - Journal of Symbolic Logic 72 (1):45 - 66.

Analytics

Added to PP
2015-02-05

Downloads
2 (#1,787,337)

6 months
2 (#1,240,909)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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