Results for 'Clement F. Kent'

1000+ found
Order:
  1.  26
    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
    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  
  5.  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
    Direct download  
    Translate
     
     
    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.  13
    Bioportal: Ontologies and Integrated Data Resources at the Click of the Mouse.L. Whetzel Patricia, H. Shah Nigam, F. Noy Natalya, Dai Benjamin, Dorf Michael, Griffith Nicholas, Jonquet Clement, Youn Cherie, Callendar Chris, Coulet Adrien, Barry Smith, Chris Chute & Mark Musen - 2011 - In Proceedings of the 2nd International Conference on Biomedical Ontology, Buffalo, NY. pp. 292-293.
    BioPortal is a Web portal that provides access to a library of biomedical ontologies and terminologies developed in OWL, RDF(S), OBO format, Protégé frames, and Rich Release Format. BioPortal functionality, driven by a service-oriented architecture, includes the ability to browse, search and visualize ontologies (Figure 1). The Web interface also facilitates community-based participation in the evaluation and evolution of ontology content.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9. 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  
  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
    The Relation of a to Prov ⌜a ⌝ in the Lindenbaum Sentence Algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295-298.
  12.  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  
  13.  20
    Derrida: La Vie Et l'Oeuvre.Bruno Clement & David F. Bell - 2005 - Substance 34 (1):35-37.
  14.  17
    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.  10
    A Note on the Enumeration Degrees of 1-Generic Sets.Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent & Andrea Sorbi - 2016 - Archive for Mathematical Logic 55 (3-4):405-414.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  30
    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  
  17.  9
    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  
  18.  10
    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  
  19.  10
    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  
  20.  22
    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  
  21.  17
    The Rucellai Family and its Loggia.F. W. Kent - 1972 - Journal of the Warburg and Courtauld Institutes 35:397-401.
  22.  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  
  23.  11
    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  
  24.  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  
  25.  3
    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
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  26.  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  
  27.  9
    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  
  28.  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  
  29.  2
    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  
  30.  4
    Review: M. H. Lob, Solution of a Problem of Leon Henkin. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):528-529.
  31.  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  
  32.  1
    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.
  33.  2
    Review: Charles Parsons, Hierarchies of Primitive Recursive Functions. [REVIEW]C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):538-539.
  34.  1
    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.
  35.  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  
  36. 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  
  37. 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  
  38. Löb M. H.. Solution of a Problem of Leon Henkin.C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):528-529.
  39. 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  
  40.  4
    The Π₃-Theory of the $\Sigma _{2}^{0}$ -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  
     
    Export citation  
     
    My bibliography  
  41.  26
    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  
  42.  8
    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.  16
    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  
  44.  12
    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.
  45. 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.
  46. '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  
  47. 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  
  48. 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  
  49. Girls at Home, by F.S.S. F. & Girls - 1903
     
    Export citation  
     
    My bibliography  
  50. 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  
1 — 50 / 1000