Results for 'J. C. E. Dekker'

1000+ found
Order:
  1.  25
    Two notes on vector spaces with recursive operations.J. C. E. Dekker - 1971 - Notre Dame Journal of Formal Logic 12 (3):329-334.
  2.  23
    Automorphisms of $\omega$-cubes.J. C. E. Dekker - 1981 - Notre Dame Journal of Formal Logic 22 (2):120-128.
  3.  38
    Automorphisms of $\omega$-octahedral graphs.J. C. E. Dekker - 1982 - Notre Dame Journal of Formal Logic 23 (4):427-434.
  4.  23
    Projective bigraphs with recursive operations.J. C. E. Dekker - 1978 - Notre Dame Journal of Formal Logic 19 (2):193-199.
  5.  48
    Countable vector spaces with recursive operations Part II.J. C. E. Dekker - 1971 - Journal of Symbolic Logic 36 (3):477-493.
  6.  54
    Countable vector spaces with recursive operations Part I1.J. C. E. Dekker - 1969 - Journal of Symbolic Logic 34 (3):363-387.
  7.  15
    Recursion relative to regressive functions.J. C. E. Dekker & E. Ellentuck - 1974 - Annals of Mathematical Logic 6 (3-4):231-257.
  8.  35
    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   2 citations  
  9.  10
    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  
  10.  48
    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  
  11.  53
    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  
  12.  12
    Isols and burnside's lemma.J. C. E. Dekker - 1986 - Annals of Pure and Applied Logic 32:245-263.
  13.  23
    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   1 citation  
  14.  19
    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.
  15.  29
    Projective planes of infinite but isolic order.J. C. E. Dekker - 1976 - Journal of Symbolic Logic 41 (2):391-404.
  16.  30
    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  
  17. Review: J. P. Cleave, Creative Functions. [REVIEW]J. C. E. Dekker - 1964 - Journal of Symbolic Logic 29 (2):102-103.
  18.  9
    Review: John Myhill, Recursive Equivalence Types and Combinatorial Functions. [REVIEW]J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (3):510-511.
  19.  22
    Infinite Series of Isols.Kenneth Appel & J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (4):652.
  20.  28
    Partial recursive functions and ω-functions.C. H. Applebaum & J. C. E. Dekker - 1970 - Journal of Symbolic Logic 35 (4):559-568.
  21.  33
    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)  
     
    Export citation  
     
    Bookmark  
  22.  21
    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.
  23.  22
    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)  
     
    Export citation  
     
    Bookmark  
  24.  29
    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)  
     
    Export citation  
     
    Bookmark  
  25.  27
    John Myhill. Recursive equivalence types and combinatorial functions. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 46–55. [REVIEW]J. C. E. Dekker - 1966 - Journal of Symbolic Logic 31 (3):510-511.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  8
    Review: Anil Nerode, Extensions to Isols. [REVIEW]J. C. E. Dekker - 1960 - Journal of Symbolic Logic 25 (4):359-361.
  27.  39
    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.
  28.  22
    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.
  29.  17
    Review: J. C. E. Dekker, Regressive Isols. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):519-519.
  30.  38
    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  
  31.  43
    Towards a Richer Debate on Tissue Engineering: A Consideration on the Basis of NEST-Ethics. [REVIEW]A. J. M. Oerlemans, M. E. C. Hoek, E. Leeuwen, S. Burg & W. J. M. Dekkers - 2013 - Science and Engineering Ethics 19 (3):963-981.
    In their 2007 paper, Swierstra and Rip identify characteristic tropes and patterns of moral argumentation in the debate about the ethics of new and emerging science and technologies (or “NEST-ethics”). Taking their NEST-ethics structure as a starting point, we considered the debate about tissue engineering (TE), and argue what aspects we think ought to be a part of a rich and high-quality debate of TE. The debate surrounding TE seems to be predominantly a debate among experts. When considering the NEST-ethics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  24
    Towards a Richer Debate on Tissue Engineering: A Consideration on the Basis of NEST-Ethics. [REVIEW]A. J. M. Oerlemans, M. E. C. van Hoek, E. van Leeuwen, S. van der Burg & W. J. M. Dekkers - 2013 - Science and Engineering Ethics 19 (3):963-981.
    In their 2007 paper, Swierstra and Rip identify characteristic tropes and patterns of moral argumentation in the debate about the ethics of new and emerging science and technologies (or “NEST-ethics”). Taking their NEST-ethics structure as a starting point, we considered the debate about tissue engineering (TE), and argue what aspects we think ought to be a part of a rich and high-quality debate of TE. The debate surrounding TE seems to be predominantly a debate among experts. When considering the NEST-ethics (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  42
    Portrait of F. H. Bradley.J. C. Miles, J. E. Marsh, G. R. G. Mure & G. R. De Beer - 1929 - Mind 38 (152):536.
  34. Intraspecific phylogeography : the mitochondrial DNA bridge between population genetics and systematics.J. C. Avise, J. Arnold, R. Martin Ball, E. Bermingham, T. Lamb, J. E. Neigel, C. A. Reeb & N. C. Saunders - 2014 - In Francisco José Ayala & John C. Avise (eds.), Essential readings in evolutionary biology. Baltimore: The Johns Hopkins University Press.
  35.  45
    Computability of Recursive Functions.J. C. Shepherdson & H. E. Sturgis - 1967 - Journal of Symbolic Logic 32 (1):122-123.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  36. Utopia and the Ideal Society: A Study of English Utopian Writing, 1516-1700.J. C. Davis, Miriam Eliav-Feldon, Barbara Goodwin, Keith Taylor, Krishan Kumar & Frank E. Manuel - 1990 - Utopian Studies 1 (1):103-110.
  37. La Liberté religieuse.J. C. Murray, E. Schillebeeckx, P. A. Liégé & A. F. Carrillo de Albornoz - 1967 - Revue de Métaphysique et de Morale 72 (2):247-249.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  12
    Concerning the alleged correlation of intelligence with knee jerk reflex time.J. C. Whitehorn, H. Lundholm & G. E. Gardner - 1930 - Journal of Experimental Psychology 13 (3):293.
  39.  16
    and Classic References at the Interface of Philosophy, Psychiatry, and Psychology.C. E. M. Banzato, J. E. Mezzich & C. E. Berganza - 2006 - Nursing Philosophy 6 (2):131-143.
  40.  12
    The Arden Shakespeare.J. C. French, C. H. Herford, H. L. Withers, Morris W. Croll, E. K. Chambers, Edith Rickert, J. C. Smith & Ernest Hunter Wright - 1917 - American Journal of Philology 38 (4):445.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  26
    Autism in Action: Reduced Bodily Connectedness during Social Interactions?C. E. Peper, Sija J. van der Wal & Sander Begeer - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  16
    Work hardening in ordered alloys with special reference to β-phase AgMg alloys.J. C. Terry & R. E. Smallman - 1963 - Philosophical Magazine 8 (95):1827-1834.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Peter G. Stillman.J. C. Davis, Miriam Eliav-Feldon, Frank E. Manuel & Fritzie P. Manuel - 1990 - Utopian Studies 1 (1-2):103.
  44. Rendering unto Caesar; State regulation of christian day schools.J. C. Carper & N. E. Devins - 1985 - Journal of Thought 20:99-113.
     
    Export citation  
     
    Bookmark  
  45.  18
    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.
  46.  11
    J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 , pp. 357–373.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):84-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  30
    Computer-Assisted Decision Making in Medicine.J. C. Kunz, E. H. Shortliffe, B. G. Buchanan & E. A. Feigenbaum - 1984 - Journal of Medicine and Philosophy 9 (2):135-160.
    This article reviews the strengths and limitations of five major paradigms of medical computer-assisted decision making (CADM): (1) clinical algorithms, (2) statistical analysis of collections of patient data, (3) mathematical models of physical processes, (4) decision analysis, and (5) symbolic reasoning or artificial intelligence (Al). No one technique is best for all applications, and there is recent promising work which combines two or more established techniques. We emphasize both the inherent power of symbolic reasoning and the promise of artificial intelligence (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  17
    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.
  49.  21
    Portrait of the late F. H. Bradley.J. C. Miles, J. E. Marsh, G. R. G. Mure & G. R. De Beer - 1929 - Philosophy 4 (16):581-.
  50.  29
    De Novis Libris Iudicia.J. C. Kamerbeek, M. Van Der Valk, W. J. Verdenius, B. A. Van Groningen, W. J. W. Koster, M. J. Sicking, Modestus Van Straaten, A. W. Byvanck, G. Van Hoorn, H. W. Pleket, J. H. Jongkees, P. J. Enk, J. W. Fuchs, A. D. Leeman, R. E. H. Westendorp Boerma, H. M. Mulder & A. Sizoo - 1959 - Mnemosyne 12 (2):141-189.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000