Review: A. Frohlich, J. C. Shepherdson, On the Factorisation of Polynomials in a Finite Number of Steps; A. Frohlich, J. C. Shepherdson, Effective Procedures in Field Theory [Book Review]

Journal of Symbolic Logic 24 (2):169-170 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964759

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Fröhlich A. and Shepherdson J. C.. On the factorisation of polynomials in a finite number of steps. Mathematische Zeitschrift, vol. 62, no. 4 , pp. 331–334.Fröhlich A. and Shepherdson J. C.. Effective procedures in field theory. Philosophical transactions of the Royal Society of London, Series A, vol. 248 , pp. 407–432. [REVIEW]Michael O. Rabin - 1959 - Journal of Symbolic Logic 24 (2):169-170.
Review: J. Myhill, J. C. Shepherdson, Effective Operations on Partial Recursive Functions. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.
Review: J. C. Shepherdson, A Non-Standard Model for a Free Variable Fragment of Number Theory. [REVIEW]R. L. Goodstein - 1965 - Journal of Symbolic Logic 30 (3):389-390.
Review: J. C. Shepherdson, Inner Models for Set Theory. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (4):342-343.
Review: J. C. Shepherdson, Yehoshua Bar-Hillel, Machine Configuration and Word Problems of Given Degree of Unsolvability; J. C. Shepherdson, Machine Configuration and Word Problems of Given Degree of Unsolvability. [REVIEW]W. E. Singletary - 1968 - Journal of Symbolic Logic 33 (1):120-121.
Shepherdson J. C.. Inner models for set theory. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (4):342-343.
Review: J. C. Shepherdson, Representability of Recursively Enumerable Sets in Formal Theories. [REVIEW]Robert A. DiPaola - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Review: J. C. Shepherdson, H. E. Sturgis, Computability of Recursive Functions. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (1):122-123.
Review: Per Martin-Lof, H. E. Rose, J. C. Shepherdson, An Intuitionistic Theory of Types: Predicative Part. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.
Shepherdson J. C.. On the interpretation of Aristotelian syllogistic. [REVIEW]J. A. Faris - 1957 - Journal of Symbolic Logic 22 (4):381-381.

Analytics

Added to PP
2013-11-02

Downloads
13 (#1,065,706)

6 months
1 (#1,516,021)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Effective content of field theory.G. Metakides - 1979 - Annals of Mathematical Logic 17 (3):289.

Add more citations

References found in this work

No references found.

Add more references