Results for 'Clement F. Kent'

1000+ found
Order:
  1.  21
    Extensions of Arithmetic for Proving Termination of Computations.Clement F. Kent & Bernard R. Hodgson - 1989 - 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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Review: Clement F. Kent, Constructive Analogues of the Group of Permutations of the Natural Numbers. [REVIEW]F. B. Cannonito - 1969 - Journal of Symbolic Logic 34 (3):517-518.
  3. Kent Clement F.. Constructive Analogues of the Group of Permutations of the Natural Numbers. Transactions of the American Mathematical Society, Vol. 104 , Pp. 347–362. [REVIEW]F. B. Cannonito - 1969 - Journal of Symbolic Logic 34 (3):517-518.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  5
    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]L. C. F. - 1980 - Speculum 55 (1):190.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  5.  2
    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]S. F. - 2000 - Religious Studies 36 (3):375-376.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. 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.Benjamin F. Butler, William Kent, David Graham & Edwin B. Clayton - 1838 - E.B. Clayton, Printer and Stationer.
     
    Export citation  
     
    My bibliography  
  7. The Relation of a to $\Operatorname{Prov} \Ulcorner a \Urcorner$ in the Lindenbaum Sentence Algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295 - 298.
  8. On the Shearing Mechanism of Γ′ Precipitates by a Single ⟨112⟩ Shockley Partial in Ni-Based Superalloys.B. Décamps, S. Raujol, A. Coujou, F. Pettinari-Sturmel, N. Clément, D. Locq & P. Caron - 2004 - Philosophical Magazine 84 (1):91-107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  9.  28
    Branching in the {Sigma^0_2} -Enumeration Degrees: A New Perspective. [REVIEW]Maria L. Affatato, Thomas F. Kent & Andrea Sorbi - 2008 - 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Decorrelated Movements of Shockley Partial Dislocations in the Γ-Phase Channels of Nickel-Based Superalloys at Intermediate Temperature.S. Raujol, M. Benyoucef, D. Locq, P. Caron, F. Pettinari, N. Clement & A. Coujou - 2006 - Philosophical Magazine 86 (9):1189-1200.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  9
    A Note on the Enumeration Degrees of 1-Generic Sets.Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent & Andrea Sorbi - forthcoming - Archive for Mathematical Logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  8
    The Relation of a to Prov ⌜a ⌝ in the Lindenbaum Sentence Algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295-298.
  13.  19
    Derrida: La Vie Et l'Oeuvre.Bruno Clement & David F. Bell - 2005 - Substance 34 (1):35-37.
  14.  12
    Empty Intervals in the Enumeration Degrees.Thomas F. Kent, Andrew Em Lewis & Andrea Sorbi - 2012 - Annals of Pure and Applied Logic 163 (5):567-574.
  15.  25
    Book Reviews. [REVIEW]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 - International Journal of Hindu Studies 9 (1-3):153-228.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  16.  5
    Effect of Long-Term Practice and Time-on-Target Information Feedback on a Complex Tracking Task.E. James Archer, George W. Kent & F. A. Mote - 1956 - Journal of Experimental Psychology 51 (2):103.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  17.  8
    African-American Males Prefer a Larger Female Body Silhouette Than Do Whites.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 - Bulletin of the Psychonomic Society 31 (6):599-601.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18.  21
    Book Reviews. [REVIEW]Edwin Dickens, Eliza F. Kent, Rita M. Gross, M. Whitney Kelting & Deven M. Patel - 2007 - International Journal of Hindu Studies 11 (1):115-123.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  19.  5
    Interpreting True Arithmetic in the Δ 0 2 -Enumeration Degrees.Thomas F. Kent - 2010 - 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  
  20.  17
    The Rucellai Family and its Loggia.F. W. Kent - 1972 - Journal of the Warburg and Courtauld Institutes 35:397-401.
  21.  18
    Lorenzo De' Medici's Acquisition of Poggio a Caiano in 1474 and an Early Reference to His Architectural Expertise.F. W. Kent - 1979 - Journal of the Warburg and Courtauld Institutes 42:250-257.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  2
    Les Toscans et leurs familles: Une Etude du catsato florentin de 1427Christiane Klapisch-Zuber David Herlihy.F. W. Kent - 1980 - Speculum 55 (1):129-131.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  8
    Giovanni Rucellai: An Epitaph.F. W. Kent - 1983 - Journal of the Warburg and Courtauld Institutes 46:207.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  24.  5
    Review: G. Kreisel, A. Levy, Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):529-532.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  8
    The Letters Genuine and Spurious of Giovanni Rucellai.Giovanni Paolo Rucelladii & F. W. Kent - 1974 - Journal of the Warburg and Courtauld Institutes 37:342-349.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  8
    Bounding Nonsplitting Enumeration Degrees.Thomas F. Kent & Andrea Sorbi - 2007 - 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 (5 more)  
     
    Export citation  
     
    My bibliography  
  27.  3
    The Structure of the s-Degrees Contained Within a Single E-Degree.Thomas F. Kent - 2009 - 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  
  28.  3
    Pheromone Traps to Suppress Populations of the Smaller European Elm Bark Beetle.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 - In Vincent Stuart (ed.), Order. Random House.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  3
    Review: M. H. Lob, Solution of a Problem of Leon Henkin. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):528-529.
  30.  2
    Review: Charles Parsons, Hierarchies of Primitive Recursive Functions. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):538-539.
  31.  1
    The Π₃-Theory of the [Image] -Enumeration Degrees Is Undecidable.Thomas F. Kent - 2006 - 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 (4 more)  
     
    Export citation  
     
    My bibliography  
  32. Branching in the InlineEquation ID=" IEq1"> ImageObject FileRef=" 153200881ArticleIEq1. Gif" Format=" GIF" Color=" BlackWhit" Type=" Linedraw" Rendition=" HTML"/> EquationSource Format=" TEX">-Enumeration. [REVIEW]Maria L. Affatato, Thomas F. Kent & Andrea Sorbi - 2008 - Archive for Mathematical Logic 47 (3):221-232.
     
    Export citation  
     
    My bibliography  
  33. Kreisel G. And Lévy A.. Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 14 , Pp. 97–142. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):529-532.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Löb M. H.. Solution of a Problem of Leon Henkin.C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):528-529.
  35. Parsons Charles. Hierarchies of Primitive Recursive Functions. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 14 , Pp. 357–376. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):538-539.
  36. Review: R. G. Jeroslow, Redundancies in the Hilbert-Bernays Derivability Conditions for Godel's Second Incompleteness Theorem. [REVIEW]C. F. Kent - 1983 - Journal of Symbolic Logic 48 (3):875-876.
  37. A New TEM Method for the Characterization of the Tertiaryγ′ Nano-Precipitates in a PM Disk Superalloy: Influence of Ageing.S. Raujol, F. Pettinari-Sturmel, J. Douin, N. Clément, A. Coujou, D. Locq & P. Caron - 2006 - Philosophical Magazine 86 (28):4507-4518.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Pile-Ups in Thin Foils: Application to Transmission Electron Microscopy Analysis of Short-Range-Order.G. Saada, J. Douin, F. Pettinari-Sturmel, A. Coujou & N. Clément - 2004 - Philosophical Magazine 84 (8):807-824.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  17
    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]H. F. - 1912 - The Classical Review 26 (03):100-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  8
    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]S. F. - 2003 - Religious Studies 39 (4):501-501.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  7
    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]S. F. - 1999 - Religious Studies 35 (3):385-388.
  42.  1
    Byzantine Silver Stamps: With an Excursus on the Comes Sacrarum Largitionum by J. P. C. Kent.D. M. Metcalf, E. C. Dodd & J. P. C. Kent - 1963 - Journal of Hellenic Studies 83:217.
  43. 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]B. F. - 1698 - Printed for A. Baldwin in Warwick-Lane.
  44. 'Coming Out'; or, a Word in Season About the Season, by Lady F.H.H. F. & Coming out - 1883
    No categories
     
    Export citation  
     
    My bibliography  
  45. ENRIQUES, F. - Causalità e determinismo nella Filosofia e nella Storia delle scienze. [REVIEW]E. F. E. F. - 1946 - Scientia 40 (79):105.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  46. Enriques, F. - Causalità E Determinismo Nella Filosofia E Nella Storia Delle Scienze. [REVIEW]E. F. E. F. - 1946 - Scientia, Rivista di Scienza 40 (79):105.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  47. Girls at Home, by F.S.S. F. & Girls - 1903
    No categories
     
    Export citation  
     
    My bibliography  
  48. La reconstruction de la théologie, discours du rév. "Lewis F. Stearns".E. M. F. - 1881 - Revue de Théologie Et de Philosophie 14 (6):521.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  49. 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]Joachim Poleman & H. F. - 1662 - Printed by J.C. For J. Crook at the Sign of the Ship in St. Pauls Church-Yard.
     
    Export citation  
     
    My bibliography  
  50.  30
    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]Roderick Mckenzie - 1924 - The Classical Review 38 (7-8):211-212.
1 — 50 / 1000