4-Quantifier Completeness: A Banach-Mazur Functional not Uniformly Partial Recursive

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964575

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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: Richard M. Friedberg, 4-Quantifier Completeness: A Banach-Mazur Functional not Uniformly Partial Recursive. [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):52-52.
A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions.Robert A. di Paola - 1981 - Journal of Symbolic Logic 46 (2):216-232.
Computability and continuity in computable metric partial algebras equipped with computability structures.Fredrik Dahlgren - 2004 - Mathematical Logic Quarterly 50 (4):486.
The Hahn-Banach Property and the Axiom of Choice.Juliette Dodu & Marianne Morillon - 1999 - Mathematical Logic Quarterly 45 (3):299-314.
Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.
A proof of completeness for continuous first-order logic.Itaï Ben Yaacov & Arthur Paul Pedersen - 2010 - Journal of Symbolic Logic 75 (1):168-190.
Winning the Pressing down Game but Not Banach-Mazur.Jakob Kellner, Matti Pauna & Saharon Shelah - 2007 - Journal of Symbolic Logic 72 (4):1323 - 1335.
Neocompact quantifier elimination in structures based on Banach spaces.Stefano Baratella & Siu-Ah Ng - 2001 - Annals of Pure and Applied Logic 111 (1-2):115-143.
Kleene index sets and functional m-degrees.Jeanleah Mohrherr - 1983 - Journal of Symbolic Logic 48 (3):829-840.
Uniformly convex Banach spaces are reflexive—constructively.Douglas S. Bridges, Hajime Ishihara & Maarten McKubre-Jordens - 2013 - Mathematical Logic Quarterly 59 (4-5):352-356.
Topological Games, Supertasks, and (Un)determined Experiments.Thomas Mormann - manuscript
The addition of bounded quantification and partial functions to a computational logic and its theorem prover.Robert Boyer - manuscript
A Banach–Mazur computable but not Markov computable function on the computable real numbers.Peter Hertling - 2005 - Annals of Pure and Applied Logic 132 (2-3):227-246.
Recursiveness of ω‐Operations.Victor L. Selivanov - 1994 - Mathematical Logic Quarterly 40 (2):204-206.
Creativeness and completeness in recursion categories of partial recursive operators.Franco Montagna & Andrea Sorbi - 1989 - Journal of Symbolic Logic 54 (3):1023-1041.

Analytics

Added to PP
2015-02-05

Downloads
1 (#1,904,823)

6 months
1 (#1,478,781)

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