Results for 'J. C. E. Dekker'

1000+ found
Order:
  1.  23
    Myhill J. And Shepherdson J. C.. Effective Operations on Partial Recursive Functions. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathetnatik, Vol. 1 , Pp. 310–317. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  13
    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.
  3.  20
    Corpus Vasorum Antiquorum: United States of America 1, Hoppin and Gallatin Collections. By J. C. Hoppin and Albert Gallatin. Paris: E. Champion, 1927. [REVIEW]D. B. J. - 1927 - Journal of Hellenic Studies 47 (1):148-149.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  16
    Cleave J. P.. Creative functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 205–212. [REVIEW]J. C. E. Dekker - 1964 - Journal of Symbolic Logic 29 (2):102-103.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Review: J. P. Cleave, Creative Functions. [REVIEW]J. C. E. Dekker - 1964 - Journal of Symbolic Logic 29 (2):102-103.
  6.  41
    Twilight Graphs.J. C. E. Dekker - 1981 - Journal of Symbolic Logic 46 (3):539-571.
    This paper deals primarily with countable, simple, connected graphs and the following two conditions which are trivially satisfied if the graphs are finite: (a) there is an edge-recognition algorithm, i.e., an effective procedure which enables us, given two distinct vertices, to decide whether they are adjacent, (b) there is a shortest path algorithm, i.e., an effective procedure which enables us, given two distinct vertices, to find a minimal path joining them. A graph $G = \langle\eta, \eta\rangle$ with η as set (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  9
    An Isolic Generalization of Cauchy's Theorem for Finite Groups.J. C. E. Dekker - 1990 - Archive for Mathematical Logic 29 (4):231-236.
    In his note [5] Hausner states a simple combinatorial principle, namely: $$(H)\left\{ {\begin{array}{*{20}c} {if f is a function a non - empty finite set \sigma into itself, p a} \\ {prime, f^p = i_\sigma and \sigma _0 the set of fixed points of f, then } \\ {\left| \sigma \right| \equiv \left| {\sigma _0 } \right|(mod p).} \\\end{array}} \right.$$ .He then shows how this principle can be used to prove:Fermat's little theorem,Cauchy's theorem for finite groups,Lucas' theorem for binomial numbers.Letε=(0,1, ...),ℱ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  68
    Petit Atlas pratique d'histoire grecque et romaineLes proces d'impiete intentes aux philosophes a Athenes au Veme et au IVeme siecles avant J.-C.M. C., L. Laurand & E. Derenne - 1931 - Journal of Hellenic Studies 51:126.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  64
    Le Monde Mediterraneen Jusqu'au IVe Siecle Avant J.-C.M. C. & E. Cavaignac - 1931 - Journal of Hellenic Studies 51:125.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  31
    The Inclusion-Exclusion Principle for Finitely Many Isolated Sets.J. C. E. Dekker - 1986 - Journal of Symbolic Logic 51 (2):435-447.
    A nonnegative interger is called a number, a collection of numbers a set and a collection of sets a class. We write ε for the set of all numbers, o for the empty set, N(α) for the cardinality of $\alpha, \subset$ for inclusion and $\subset_+$ for proper inclusion. Let α, β 1 ,...,β k be subsets of some set ρ. Then α' stands for ρ-α and β 1 ⋯ β k for β 1 ∩ ⋯ ∩ β k . For (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  11.  46
    Countable Vector Spaces with Recursive Operations Part I1.J. C. E. Dekker - 1969 - Journal of Symbolic Logic 34 (3):363-387.
  12.  27
    Arnold Oberschelp. Ein Satz über die Unlösbarkeitsgrade der Mengen von natürlichen Zahlen. Abhandlungen der Braunschweigische Wissenschaftliche Gesellschaft , vol. 12 , pp. 1–3. [REVIEW]J. C. E. Dekker - 1967 - Journal of Symbolic Logic 32 (1):124.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  37
    Countable Vector Spaces with Recursive Operations Part II.J. C. E. Dekker - 1971 - Journal of Symbolic Logic 36 (3):477-493.
  14.  21
    Two Notes on Vector Spaces with Recursive Operations.J. C. E. Dekker - 1971 - Notre Dame Journal of Formal Logic 12 (3):329-334.
  15.  9
    Recursion Relative to Regressive Functions.J. C. E. Dekker & E. Ellentuck - 1974 - Annals of Mathematical Logic 6 (3-4):231-257.
  16.  31
    Isols and the Pigeonhole Principle.J. C. E. Dekker & E. Ellentuck - 1989 - Journal of Symbolic Logic 54 (3):833-846.
    In this paper we generalize the pigeonhole principle by using isols as our fundamental counting tool.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  27
    Wang Hao. Alternative Proof of a Theorem of Kleene.J. C. E. Dekker - 1962 - Journal of Symbolic Logic 27 (1):81-82.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  18
    Projective Bigraphs with Recursive Operations.J. C. E. Dekker - 1978 - Notre Dame Journal of Formal Logic 19 (2):193-199.
  19.  20
    Infinite Series of Isols.Kenneth Appel & J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (4):652.
  20.  15
    Automorphisms of $\Omega$-Cubes.J. C. E. Dekker - 1981 - Notre Dame Journal of Formal Logic 22 (2):120-128.
  21.  36
    Automorphisms of $\Omega$-Octahedral Graphs.J. C. E. Dekker - 1982 - Notre Dame Journal of Formal Logic 23 (4):427-434.
  22.  17
    Nerode Anil. Extensions to Isols. Annals of Mathematics, Second Series, Vol. 73 , Pp. 362–403.J. C. E. Dekker - 1960 - Journal of Symbolic Logic 25 (4):359-361.
  23.  9
    Isols and Burnside's Lemma.J. C. E. Dekker - 1986 - Annals of Pure and Applied Logic 32:245-263.
  24.  7
    Review: Anil Nerode, Extensions to Isols. [REVIEW]J. C. E. Dekker - 1960 - Journal of Symbolic Logic 25 (4):359-361.
  25.  25
    Projective Planes of Infinite but Isolic Order.J. C. E. Dekker - 1976 - Journal of Symbolic Logic 41 (2):391-404.
  26.  14
    Myhill's Work in Recursion Theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
    In this paper we discuss the following contributions to recursion theory made by John Myhill: two sets are recursively isomorphic iff they are one-one equivalent; two sets are recursively isomorphic iff they are recursively equivalent and their complements are also recursively equivalent; every two creative sets are recursively isomorphic; the recursive analogue of the Cantor–Bernstein theorem; the notion of a combinatorial function and its use in the theory of recursive equivalence types.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  8
    Review: John Myhill, Recursive Equivalence Types and Combinatorial Functions. [REVIEW]J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (3):510-511.
  28.  15
    Die Plastik der Griechen. By E. Buschor. Pp. 122; 100 Illustrations. Berlin: Rembrandt-Verlag, 1936. 6.50 M. - Greek Sculpture. Edited with an Introduction by D. C. Wilkinson. Pp. Xxii; 104 Plates. London: Chatto and Windus, 1936. 5s. [REVIEW]P. D. J. - 1936 - Journal of Hellenic Studies 56 (2):246-247.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  31
    History of Roman Private Law. Part II : Jurisprudence. By E. C. Clark, LL.D. 2 Vols. Pp. Xiv + 802. Cambridge: University Press, 1914. Price 21s. Net. [REVIEW]S. B. R. J. - 1915 - The Classical Review 29 (3):92-93.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  10
    Select Passages Illustrating Neo-Platonism, Translated with an Introduction by E. R. Dodds. Pp. 127. S.P.C.K., 1923. 5s. [REVIEW]H. S. J. - 1925 - Journal of Hellenic Studies 45 (1):147-147.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  34
    Notes on the Greek Anthology. By T. W. Lumb, M.A. (Oxon.), Assistant-Master at Merchant Taylors' School, E.C. One Volume. Small Octavo. Pp. 168. London: Rivingtons, 34, King Street, Covent Garden, 1920. 7s. 6d. [REVIEW]G. L. J. - 1922 - The Classical Review 36 (1-2):42-43.
  32.  23
    Notes on the Greek Anthology. By T. W. Lumb, M.A. , Assistant-Master at Merchant Taylors' School, E.C. One Volume. Small Octavo. Pp. 168. London: Rivingtons, 34, King Street, Covent Garden, 1920. 7s. 6d. [REVIEW]G. L. J. - 1922 - The Classical Review 36 (1-2):42-43.
  33.  22
    Pleasure and Pain.E. J. C. - 1969 - Review of Metaphysics 23 (1):126-127.
    This is another addition to the already abundant literature concerning the meaning of pleasure and pain. Yet, this book manages to be highly original on material which has been debated many times. Further, Cowan has profited from the arguments preceding his. Cowan's book falls into two general parts. The first contains a serious attempt to answer questions concerning the meaning of the concepts of pleasure and pain. A certain dialectic is apparent in his argument in that his solution consists in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  5
    Minoan Art. By E. J. Forsdyke. From the Proceedings of the British Academy, Vol. XV. Pp. 30; 13 Plates. London: Humphrey Milford, 1932. 6s. 6d. [REVIEW]E. J. - 1932 - Journal of Hellenic Studies 52 (1):127-127.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  23
    Alexander und Aegypten. Von Victor Ehrenberg. Pp. 59. Leipzig: J. C. Hinrichs'sche Buchhandlung, 1926. Rmk. 2.00.G. M. J. - 1926 - Journal of Hellenic Studies 46 (2):282-283.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  71
    Book Review:Toward a Reasonable Society. C. E. Ayres. [REVIEW]M. P. C. - 1962 - Ethics 73 (1):66-.
  37.  63
    Book Review:The Meaning of National Guilds. C. E. Bechhofer, M. B. Reckitt. [REVIEW]D. B. C. - 1919 - Ethics 29 (4):504-.
  38.  26
    J. C. E. Dekker. Good Choice Sets. Annali Della Scuola Normale Superiore di Pisa, Scienze Fisiche E Mathematiche, Series 3 Vol. 20 , Pp. 367–393. - J. C. E. Dekker. The Recursive Equivalence Type of a Class of Sets. Bulletin of the American Mathematical Society, Vol. 70 , Pp. 628–632. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):518-519.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  26
    J. C. E. Dekker. Regressive Isols. Sets, Models and Recursion Theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by John N. Crossley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 272–296. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):519-519.
  40.  13
    Review: J. C. E. Dekker, Good Choice Sets; J. C. E. Dekker, The Recursive Equivalence Type of a Class of Sets. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):518-519.
  41.  7
    Review: J. C. E. Dekker, Regressive Isols. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):519-519.
  42.  16
    J. C. E. Dekker. An Infinite Product of Isols. Illinois Journal of Mathematics, Vol. 7 , Pp. 668–680.Kenneth Appel - 1966 - Journal of Symbolic Logic 31 (4):652-652.
  43.  12
    J. C. E. Dekker. The Minimum of Two Regressive Isols. Mathematische Zeitschrift, Vol. 83 , Pp. 345–366.Erik Ellentuck - 1968 - Journal of Symbolic Logic 32 (4):527.
  44.  23
    J. C. E. Dekker and J. Myhill. Recursive Equivalence Types. University of California Publications in Mathematics, N.S. Vol. 3 No. 3 , Pp. 67–214. - J. C. E. Dekker. Congruences in Isols with a Finite Modulus. Mathematische Zeitschrift, Vol. 70 , Pp. 113–124. - J. Myhill. Recursive Equivalence Types and Combinatorial Functions. Bulletin of the American Mathematical Society, Vol. 64 , Pp. 373–376. - J. C. E. Dekker. The Factorial Function for Isols. Mathematische Zeitschrift, Vol. 70 , Pp. 250–262. - J. C. E. Dekker and J. Myhill. The Divisibility of Isols by Powers of Primes. Mathematische Zeitschrift, Vol. 73 . Pp. 127–133. - J. C. E. Dekker. An Expository Account of Isols. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 189–200. [REVIEW]Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
  45.  17
    J. C. E. Dekker. The Constructivity of Maximal Dual Ideals in Certain Boolean Algebras. Pacific Journal of Mathematics, Vol. 3 , Pp. 73–101. [REVIEW]Hugo Ribeiro - 1954 - Journal of Symbolic Logic 19 (2):122-123.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  17
    Review: J. C. E. Dekker, Productive Sets. [REVIEW]Norman Shapiro - 1956 - Journal of Symbolic Logic 21 (1):99-100.
  47.  17
    J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 , pp. 357–373. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):84-85.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  14
    Review: J. C. E. Dekker, Two Notes on Recursively Enumerable Sets. [REVIEW]Martin Davis - 1955 - Journal of Symbolic Logic 20 (1):73-74.
  49.  13
    Review: J. C. E. Dekker, Les Fonctions combinatoires et les Isols. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-406.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  12
    Review: J. C. E. Dekker, Closure Properties of Regressive Functions. [REVIEW]Louise Hay - 1971 - Journal of Symbolic Logic 36 (3):539-539.
1 — 50 / 1000