Search results for 'Clement F. Kent' (try it on Scholar)

1000+ found
Order:
  1.  21
    Clement F. Kent & Bernard R. Hodgson (1989). Extensions of Arithmetic for Proving Termination of Computations. Journal of Symbolic Logic 54 (3):779-794.
    Kirby and Paris have exhibited combinatorial algorithms whose computations always terminate, but for which termination is not provable in elementary arithmetic. However, termination of these computations can be proved by adding an axiom first introduced by Goodstein in 1944. Our purpose is to investigate this axiom of Goodstein, and some of its variants, and to show that these are potentially adequate to prove termination of computations of a wide class of algorithms. We prove that many variations of Goodstein's axiom are (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. F. B. Cannonito (1969). Review: Clement F. Kent, Constructive Analogues of the Group of Permutations of the Natural Numbers. [REVIEW] Journal of Symbolic Logic 34 (3):517-518.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    L. C. F. (1980). Bernard Guillemain, Les Recettes et les dépenses de la Chambre apostolique pour la quatrième année du pontificat de Clément V . Rome: Ecole Française de Rome, 1978. Paper. Pp. xxxviii, 157; 2 maps. [REVIEW] Speculum 55 (1):190.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  1
    S. F. (2000). Kent Emery, Jr, and Joseph P. Wawrykow (Eds) Christ Among the Medieval Dominicans. (Notre Dame IN: University of Notre Dame Press, 1999). Pp. XVI+561. £35.95 (Pbk). ISBN 0 268 00836. [REVIEW] Religious Studies 36 (3):375-376.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  43
    F. Clement & Abraham J. Malerstein (2003). What is It Like to Be Conscious? The Ontogenesis of Consciousness. Philosophical Psychology 16 (1):67-85.
    In recent years, numerous studies have tried to highlight, from a naturalistic point of view, the apparent mysteries of consciousness. Many authors concentrated their efforts on explaining the phylogenetic origins of consciousness. Paradoxically, comments on the ontogenesis of consciousness are almost nonexistent. By crossing the results of psychology of development with a philosophical analysis, this paper aims to make up for this omission. After having characterized the different conceptual aspects of consciousness, we combine these, with observations made by developmental psychologists, (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  6. Benjamin F. Butler, William Kent, David Graham & Edwin B. Clayton (1838). Inaugural Addresses, Delivered by the Professors of Law, in the University of the City of New-York, at the Opening of the Law School of That Institution. E.B. Clayton, Printer and Stationer.
    No categories
     
    Export citation  
     
    My bibliography  
  7. C. F. Kent (1973). The Relation of a to $\Operatorname{Prov} \Ulcorner a \Urcorner$ in the Lindenbaum Sentence Algebra. Journal of Symbolic Logic 38 (2):295 - 298.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  8.  20
    Maria L. Affatato, Thomas F. Kent & Andrea Sorbi (2008). Branching in the {Sigma^0_2} -Enumeration Degrees: A New Perspective. [REVIEW] Archive for Mathematical Logic 47 (3):221-231.
    We give an alternative and more informative proof that every incomplete ${\Sigma^{0}_{2}}$ -enumeration degree is the meet of two incomparable ${\Sigma^{0}_{2}}$ -degrees, which allows us to show the stronger result that for every incomplete ${\Sigma^{0}_{2}}$ -enumeration degree a, there exist enumeration degrees x 1 and x 2 such that a, x 1, x 2 are incomparable, and for all b ≤ a, b = (b ∨ x 1 ) ∧ (b ∨ x 2 ).
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9.  2
    Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent & Andrea Sorbi (forthcoming). A Note on the Enumeration Degrees of 1-Generic Sets. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  7
    C. F. Kent (1973). The Relation of a to Prov ⌜a ⌝ in the Lindenbaum Sentence Algebra. Journal of Symbolic Logic 38 (2):295-298.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  11.  5
    Thomas F. Kent (2010). Interpreting True Arithmetic in the Δ 0 2 -Enumeration Degrees. Journal of Symbolic Logic 75 (2):522-550.
    We show that there is a first order sentence φ(x; a, b, l) such that for every computable partial order.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  12.  8
    Thomas F. Kent, Andrew Em Lewis & Andrea Sorbi (2012). Empty Intervals in the Enumeration Degrees. Annals of Pure and Applied Logic 163 (5):567-574.
  13.  7
    Ellen F. Rosen, Adolph Brown, Jennifer Braden, Herman W. Dorsett, Dawna N. Franklin, Ronald A. Garlington, Valerie E. Kent, Tonya T. Lewis & Linda C. Petty (1993). African-American Males Prefer a Larger Female Body Silhouette Than Do Whites. Bulletin of the Psychonomic Society 31 (6):599-601.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  24
    Werner Menski, Carl Olson, William Cenkner, Anne E. Monius, Sarah Hodges, Jeffrey J. Kripal, Carol Salomon, Deepak Sarma, William Cenkner, John E. Cort, Peter A. Huff, Joseph A. Bracken, Larry D. Shinn, Jonathan S. Walters, Ellison Banks Findly, John Grimes, Loriliai Biernacki, David L. Gosling, Thomas Forsthoefel, Michael H. Fisher, Ian Barrow, Srimati Basu, Natalie Gummer, Pradip Bhattacharya, John Grimes, Heather T. Frazer, Elaine Craddock, Andrea Pinkney, Joseph Schaller, Michael W. Myers, Lise F. Vail, Wayne Howard, Bradley B. Burroughs, Shalva Weil, Joseph A. Bracken, Christopher W. Gowans, Dan Cozort, Katherine Janiec Jones, Carl Olson, M. D. McLean, A. Whitney Sanford, Sarah Lamb, Eliza F. Kent, Ashley Dawson, Amir Hussain, John Powers, Jennifer B. Saunders & Ramdas Lamb (2005). Book Reviews. [REVIEW] International Journal of Hindu Studies 9 (1-3):153-228.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  15.  21
    Edwin Dickens, Eliza F. Kent, Rita M. Gross, M. Whitney Kelting & Deven M. Patel (2007). Book Reviews. [REVIEW] International Journal of Hindu Studies 11 (1):115-123.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  16.  16
    F. W. Kent (1972). The Rucellai Family and its Loggia. Journal of the Warburg and Courtauld Institutes 35:397-401.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  5
    C. F. Kent (1971). Review: G. Kreisel, A. Levy, Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems. [REVIEW] Journal of Symbolic Logic 36 (3):529-532.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  16
    F. W. Kent (1979). Lorenzo De' Medici's Acquisition of Poggio a Caiano in 1474 and an Early Reference to His Architectural Expertise. Journal of the Warburg and Courtauld Institutes 42:250-257.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19.  7
    F. W. Kent (1983). Giovanni Rucellai: An Epitaph. Journal of the Warburg and Courtauld Institutes 46:207.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  20.  4
    Bruno Clement & David F. Bell (2005). Derrida: La Vie Et l'Oeuvre. Substance 34 (1):35-37.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21.  3
    Thomas F. Kent (2009). The Structure of the s-Degrees Contained Within a Single E-Degree. Annals of Pure and Applied Logic 160 (1):13-21.
    For any enumeration degree let be the set of s-degrees contained in . We answer an open question of Watson by showing that if is a nontrivial -enumeration degree, then has no least element. We also show that every countable partial order embeds into . Finally, we construct -sets A and B such that B≤eA but for every X≡eB, XsA.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    Martin C. Birch, Richard W. Bushing, Timothy D. Paine, Stephen L. Clement, P. Dean Smith, Albert O. Paulus, Jerry Nelson, Otis Harvey, F. Shibuya & Y. Paul Puri (1977). Pheromone Traps to Suppress Populations of the Smaller European Elm Bark Beetle. In Vincent Stuart (ed.), Order. Distributed by Random House
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  8
    Thomas F. Kent & Andrea Sorbi (2007). Bounding Nonsplitting Enumeration Degrees. Journal of Symbolic Logic 72 (4):1405 - 1417.
    We show that every nonzero $\Sigma _{2}^{0}$ enumeration degree bounds a nonsplitting nonzero enumeration degree.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24.  3
    C. F. Kent (1971). Review: M. H. Lob, Solution of a Problem of Leon Henkin. [REVIEW] Journal of Symbolic Logic 36 (3):528-529.
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  6
    Giovanni Paolo Rucelladii & F. W. Kent (1974). The Letters Genuine and Spurious of Giovanni Rucellai. Journal of the Warburg and Courtauld Institutes 37:342-349.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  2
    C. F. Kent (1971). Review: Charles Parsons, Hierarchies of Primitive Recursive Functions. [REVIEW] Journal of Symbolic Logic 36 (3):538-539.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  1
    Thomas F. Kent (2006). The Π₃-Theory of the [Image] -Enumeration Degrees Is Undecidable. Journal of Symbolic Logic 71 (4):1284 - 1302.
    We show that in the language of {≤}, the Π₃-fragment of the first order theory of the $\Sigma _{2}^{0}$-enumeration degrees is undecidable. We then extend this result to show that the Π₃-theory of any substructure of the enumeration degrees which contains the $\Delta _{2}^{0}$-degrees is undecidable.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Maria L. Affatato, Thomas F. Kent & Andrea Sorbi (2008). Branching in the InlineEquation ID=" IEq1"> ImageObject FileRef=" 153200881ArticleIEq1. Gif" Format=" GIF" Color=" BlackWhit" Type=" Linedraw" Rendition=" HTML"/> EquationSource Format=" TEX">-Enumeration. [REVIEW] Archive for Mathematical Logic 47 (3):221-232.
    No categories
     
    Export citation  
     
    My bibliography  
  29. E. James Archer, George W. Kent & F. A. Mote (1956). Effect of Long-Term Practice and Time-on-Target Information Feedback on a Complex Tracking Task. Journal of Experimental Psychology 51 (2):103.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30. C. F. Kent (1983). Review: R. G. Jeroslow, Redundancies in the Hilbert-Bernays Derivability Conditions for Godel's Second Incompleteness Theorem. [REVIEW] Journal of Symbolic Logic 48 (3):875-876.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  9
    H. F. (1912). Excavation of the Roman Forts at Castleshaw (Near Delph, West Riding). By Samuel Andrew, Esq., and Major William Lees, V.D., J.P. Second Interim Report, Prepared by F. A. Bruton, M.A., with Notes on the Pottery by James Curle, F.S. A. With Forty-Five Plates. (Manchester University Press.). [REVIEW] The Classical Review 26 (03):100-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  7
    S. F. (2003). Stephen Gersch and Maarten J. F. M. Hoenen (Eds) the Platonic Tradition in the Middle Ages: A Doxological Approach. (Berlin/New York): Walter de Gruyter, 2002). Pp. V+466. € 106 (Hbk). ISBN 3 11 016844. [REVIEW] Religious Studies 39 (4):501-501.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  2
    S. F. (1999). James F. Sennett the Analytic Theist: An Alvin Plantinga Reader. (Grand Rapids and Cambridge: Wm. Eerdmans Publishing Co., 1998). Pp. XVIII+369. £15.99 Pbk. [REVIEW] Religious Studies 35 (3):385-388.
    Direct download  
     
    Export citation  
     
    My bibliography  
  34. B. F. (1698). A Free but Modest Censure on the Late Controversial Writings and Debates of the Lord Bishop of Vvorcester and Mr. Locke: Mr. Edwards and Mr. Locke: The Honble Charles Boyle, Esq; and Dr. Bently. Together with Brief Remarks on Monsieur le Clerc's Ars Critica. By F.B. M.A. Of Cambridg. [REVIEW] Printed for A. Baldwin in Warwick-Lane.
  35. H. F. & Coming out (1883). 'Coming Out'; or, a Word in Season About the Season, by Lady F.H.
    No categories
     
    Export citation  
     
    My bibliography  
  36. E. F. E. F. (1946). ENRIQUES, F. - Causalità e determinismo nella Filosofia e nella Storia delle scienze. [REVIEW] Scientia 40 (79):105.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  37. S. F. & Girls (1903). Girls at Home, by F.S.
    No categories
     
    Export citation  
     
    My bibliography  
  38. E. M. F. (1881). La reconstruction de la théologie, discours du rév. "Lewis F. Stearns". Revue de Théologie Et de Philosophie 14 (6):521.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  39. D. M. Metcalf, E. C. Dodd & J. P. C. Kent (1963). Byzantine Silver Stamps: With an Excursus on the Comes Sacrarum Largitionum by J. P. C. Kent. Journal of Hellenic Studies 83:217.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Joachim Poleman & H. F. (1662). Novum Lumen Medicum Wherein the Excellent and Most Necessary Doctrine of the Highly-Gifted Philosopher Helmont Concerning the Great Mystery of the Pholosophers Sulphur. Is Fundamentally Cleared by Joachim Poleman. Out of a Faithful and Good Intent to Those That Are Ignorant and Straying Grom the Truth, as Also Out of Compassion to the Sick. Written by the Authour in the German Tongue, and Now Englished by F.H. A German. [REVIEW] Printed by J.C. For J. Crook at the Sign of the Ship in St. Pauls Church-Yard.
     
    Export citation  
     
    My bibliography  
  41.  14
    Roderick Mckenzie (1924). Stand Und Aufgaben der Sprachwissenschaft. Festschrift Für Wilhelm Streitberg. Pp.Xix + 670. Heidelberg: C. Winter, 1924. Paper, 22 Marks; Bound, 24.50 Marks.Untersuchungen Zur Allgemeitien Akzentlehre. Dr Alfred Von Schmitt. Pp. Xvi + 209. Heidelberg: C. Winter, 1924. Paper, 5.50 Marks.The Numeral Words, Their Origin, Meaning, History, and Lesson. By Melius De Villiers, M.A., LL.B., Sometime Chief Justice of the Orange Free State. Pp. 124. London: H. F. And G. Witherby; Cape Town: Juta and Co., Ltd., Etc., 1923.Language and Philology. By Roland Kent, Ph.D. (Our Debt to Greece and Rome, Vol. XXII.) Pp. 174. London, Calcutta, Sydney: Harrap and Co., Ltd., 1924. Cloth, 5s. Net. [REVIEW] The Classical Review 38 (7-8):211-212.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  42.  22
    Julia Annas (1982). Kent F. Moors: Glaucon and Adeimantus on Justice: The Structure of Argument in Book 2 of Plato's Republic. Pp. X + 145. Washington, DC.: University Press of America, 1981. $20 (Paper, $10.). [REVIEW] The Classical Review 32 (02):283-284.
  43.  9
    John Glucker (1987). Kent F. Moors: Platonic Myth. An Introductory Study. Pp. X+137. Washington D.C.: University Press of America, 1982. Paper. [REVIEW] The Classical Review 37 (02):310-311.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  2
    Alfred E. Garvie (1934). Religion and Theism. By Clement C. J. Webb F.B.A. (London: George Allen & Unwin Ltd. 1934. Pp. 160. Price 4s. 6d. Net.). Philosophy 9 (35):366-.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  1
    C. Delisle Burns (1926). Book Review:Contemporary British Philosophy: Personal Statements by James Ward, E. B. Bax, D. Fawcett, G. Dawes Hicks, R. F. A. Hoenle, C. E. M. Joad, G. E. Moore, J. A. Smith, W. R. Sorley, A. E. Taylor, J. Arthur Thompson, Clement C. J. Webb. J. H. Muirhead. [REVIEW] Ethics 36 (3):314-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  9
    Kent Emery, Russell L. Friedman, Andreas Speer, Maxime Mauriege & Stephen F. Brown (eds.) (2011). Philosophy and Theology in the Long Middle Ages: A Tribute to Stephen F. Brown. Brill.
    The title of this Festschrift to Stephen Brown points to the understanding of medieval philosophy and theology in the longue durée of their traditions and discourses.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  10
    John F. X. Knasas (1988). Theism. By Clement Dore. Modern Schoolman 65 (3):209-211.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48.  21
    John F. X. Knasas (1988). Theism. By Clement Dore. Modern Schoolman 65 (3):209-211.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  49.  4
    G. Clement Whittick (1933). Archaeology in England and Wales, 1914–1931. By T. D. Kendrick, M.A., and C. F. C. Hawkes, M.A., F.S.A. Pp. Xix+371; Plates, 123 Illustrations in the Text. London: Methuen, 1932. Cloth, 18s. [REVIEW] The Classical Review 47 (01):41-42.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  10
    Kent Emery Jr (2001). Hoenen, Maarten J. F. M., and Paul J. J. M. Bakker, Eds. Philosophie Und Theologie des Ausgehenden Mittelalters: Marsilius von Inghen Und Das Denken Seiner Zeit. [REVIEW] Review of Metaphysics 55 (2):399-401.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000