Results for 'Knight, J.'

961 found
Order:
  1.  10
    Computable structures of rank.J. F. Knight & J. Millar - 2010 - Journal of Mathematical Logic 10 (1):31-43.
    For countable structure, "Scott rank" provides a measure of internal, model-theoretic complexity. For a computable structure, the Scott rank is at most [Formula: see text]. There are familiar examples of computable structures of various computable ranks, and there is an old example of rank [Formula: see text]. In the present paper, we show that there is a computable structure of Scott rank [Formula: see text]. We give two different constructions. The first starts with an arithmetical example due to Makkai, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  8
    Classes of Ulm type and coding rank-homogeneous trees in other structures.E. Fokina, J. F. Knight, A. Melnikov, S. M. Quinn & C. Safranski - 2011 - Journal of Symbolic Logic 76 (3):846 - 869.
    The first main result isolates some conditions which fail for the class of graphs and hold for the class of Abelian p-groups, the class of Abelian torsion groups, and the special class of "rank-homogeneous" trees. We consider these conditions as a possible definition of what it means for a class of structures to have "Ulm type". The result says that there can be no Turing computable embedding of a class not of Ulm type into one of Ulm type. We apply (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  21
    Index sets and Scott sentences.J. F. Knight & C. McCoy - 2014 - Archive for Mathematical Logic 53 (5-6):519-524.
    For a computable structure A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document}, there may not be a computable infinitary Scott sentence. When there is a computable infinitary Scott sentence φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varphi}$$\end{document}, then the complexity of the index set I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${I}$$\end{document} is bounded by that of φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varphi}$$\end{document}. There are results giving “optimal” Scott sentences for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  12
    Computable structures of rank omega (ck)(1).J. F. Knight & J. Millar - 2010 - Journal of Mathematical Logic 10 (1):31-43.
    For countable structure, "Scott rank" provides a measure of internal, model-theoretic complexity. For a computable structure, the Scott rank is at most [Formula: see text]. There are familiar examples of computable structures of various computable ranks, and there is an old example of rank [Formula: see text]. In the present paper, we show that there is a computable structure of Scott rank [Formula: see text]. We give two different constructions. The first starts with an arithmetical example due to Makkai, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  8
    A metatheorem for constructions by finitely many workers.J. F. Knight - 1990 - Journal of Symbolic Logic 55 (2):787-804.
  6.  34
    Pairs of recursive structures.C. J. Ash & J. F. Knight - 1990 - Annals of Pure and Applied Logic 46 (3):211-234.
  7.  14
    Pairs of computable structures.C. J. Ash & J. F. Knight - 1990 - Annals of Pure and Applied Logic 46 (3):211-234.
  8. Hella, L., Kolaitis, PG and Luosto, K., How to define a linear.C. J. Ash, J. F. Knight, B. Balcar, T. Jech, J. Zapletal & D. Rubric - 1997 - Annals of Pure and Applied Logic 87:269.
     
    Export citation  
     
    Bookmark  
  9.  19
    Possible degrees in recursive copies II.C. J. Ash & J. F. Knight - 1997 - Annals of Pure and Applied Logic 87 (2):151-165.
    We extend results of Harizanov and Barker. For a relation R on a recursive structure /oA, we give conditions guaranteeing that the image of R in a recursive copy of /oA can be made to have arbitrary ∑α0 degree over Δα0. We give stronger conditions under which the image of R can be made ∑α0 degree as well. The degrees over Δα0 can be replaced by certain more general classes. We also generalize the Friedberg-Muchnik Theorem, giving conditions on a pair (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  22
    Ramified systems.C. J. Ash & J. F. Knight - 1994 - Annals of Pure and Applied Logic 70 (3):205-221.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  11.  8
    A literature review analysis of engagement with the Nagoya Protocol, with specific application to Africa.J. Knight, E. Flack-Davison, S. Engelbrecht, R. G. Visagie, W. Beukes, T. Coetzee, M. Mwale & D. Ralefala - 2022 - South African Journal of Bioethics and Law 15 (2):69-74.
    The 2010 Nagoya Protocol is an international framework for access and benefit sharing (ABS) of the use of genetic and biological resources, with particular focus on indigenous communities. This is especially important in Africa, where local communities have a close reliance on environmental resources and ecosystems. However, national legislation and policies commonly lag behind international agreements, and this poses challenges for legal compliance as well as practical applications. This study reviews the academic literature on the Nagoya Protocol and ABS applications, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Coding a family of sets.J. F. Knight - 1998 - Annals of Pure and Applied Logic 94 (1-3):127-142.
    In this paper, we state a metatheorem for constructions involving coding. Using the metatheorem, we obtain results on coding a family of sets into a family of relations, or into a single relation. For a concrete example, we show that the set of limit points in a recursive ordering of type ω 2 can have arbitrary 2-REA degree.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  22
    Possible degrees in recursive copies.C. J. Ash & J. F. Knight - 1995 - Annals of Pure and Applied Logic 75 (3):215-221.
    Let be a recursive structure, and let R be a recursive relation on . Harizanov isolated a syntactical condition which is necessary and sufficient for to have recursive copies in which the image of R is r.e. of arbitrary r.e. degree. We had conjectured that a certain extension of Harizanov's syntactical condition would be necessary and sufficient for to have recursive copies in which the image of R is ∑α0 of arbitrary ∑α0 degree, but this is not the case. Here (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  3
    Substitutional doping in amorphous semiconductors the As-Si system.J. C. Knights - 1976 - Philosophical Magazine 34 (4):663-667.
  15. Real closed fields and models of arithmetic (vol 75, pg 1, 2010).P. D'Aquino, J. F. Knight & S. Starchenko - 2012 - Journal of Symbolic Logic 77 (2).
  16.  21
    Quasi-simple relations in copies of a given recursive structure.C. J. Ash, J. F. Knight & J. B. Remmel - 1997 - Annals of Pure and Applied Logic 86 (3):203-218.
  17.  7
    Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.
    Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  21
    Hanf number for Scott sentences of computable structures.S. S. Goncharov, J. F. Knight & I. Souldatos - 2018 - Archive for Mathematical Logic 57 (7-8):889-907.
    The Hanf number for a set S of sentences in \ is the least infinite cardinal \ such that for all \, if \ has models in all infinite cardinalities less than \, then it has models of all infinite cardinalities. Friedman asked what is the Hanf number for Scott sentences of computable structures. We show that the value is \. The same argument proves that \ is the Hanf number for Scott sentences of hyperarithmetical structures.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  3
    Corrigendum to: “Real closed fields and models of arithmetic”.P. D'Aquino, J. F. Knight & S. Starchenko - 2012 - Journal of Symbolic Logic 77 (2):726-726.
  20.  8
    Mixed systems.C. J. Ash & J. F. Knight - 1994 - Journal of Symbolic Logic 59 (4):1383-1399.
  21.  11
    Computable Embeddings and Strongly Minimal Theories.J. Chisholm, J. F. Knight & S. Miller - 2007 - Journal of Symbolic Logic 72 (3):1031 - 1040.
    Here we prove that if T and T′ are strongly minimal theories, where T′ satisfies a certain property related to triviality and T does not, and T′ is model complete, then there is no computable embedding of Mod(T) into Mod(T′). Using this, we answer a question from [4], showing that there is no computable embedding of VS into ZS, where VS is the class of infinite vector spaces over Q, and ZS is the class of models of Th(Z, S). Similarly, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  15
    Degrees of Models of True Arithmetic.David Marker, J. Stern, Julia Knight, Alistair H. Lachlan & Robert I. Soare - 1987 - Journal of Symbolic Logic 52 (2):562-563.
  23. called degrees. Post was particularly interested in computability from sets which are par-tially generated by a computer, namely, those for which the elements of the set can be enumerated by a computer. These sets are called (recursively) enu-merable, as are their degrees. He showed [20] that the enumerable degrees. [REVIEW]J. Knight, A. Kucera & R. Shore - 1995 - Bulletin of Symbolic Logic 1 (2).
  24. that B is Turing reducible to A and write B≤ T A. We say that B≡ T A if B≤ T A and A≤ T B.≡ T is an equivalence relation, and≤ T induces a par-tial ordering on the corresponding equivalence classes; the poset obtained in this way is called the degrees of unsolvability, and elements of this poset are called degrees. [REVIEW]J. Knight, A. Kucera & R. Shore - 1995 - Bulletin of Symbolic Logic 1 (2).
  25.  12
    Comparing two versions of the reals.G. Igusa & J. F. Knight - 2016 - Journal of Symbolic Logic 81 (3):1115-1123.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  36
    An example related to Gregory’s Theorem.J. Johnson, J. F. Knight, V. Ocasio & S. VanDenDriessche - 2013 - Archive for Mathematical Logic 52 (3-4):419-434.
    In this paper, we give an example of a complete computable infinitary theory T with countable models ${\mathcal{M}}$ and ${\mathcal{N}}$ , where ${\mathcal{N}}$ is a proper computable infinitary extension of ${\mathcal{M}}$ and T has no uncountable model. In fact, ${\mathcal{M}}$ and ${\mathcal{N}}$ are (up to isomorphism) the only models of T. Moreover, for all computable ordinals α, the computable ${\Sigma_\alpha}$ part of T is hyperarithmetical. It follows from a theorem of Gregory (JSL 38:460–470, 1972; Not Am Math Soc 17:967–968, 1970) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  28
    Predator free New Zealand: Social, cultural, and ethical challenges.L. Ellis, M. Hohneck, C. Irons, J. Knight, K. Littin, J. Maclaurin, E. MacDonald, C. Speedy, T. Steeves, K. Watene, P. Wehi & E. Parke - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  18
    Permitting, forcing, and copying of a given recursive relation.C. J. Ash, P. Cholak & J. F. Knight - 1997 - Annals of Pure and Applied Logic 86 (3):219-236.
  29. Griffor, ER, see Rathjen, M.L. Harrington, R. I. Soare, J. F. Knight & M. Lerman - 1998 - Annals of Pure and Applied Logic 94:297.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  51
    Categoricity of computable infinitary theories.W. Calvert, S. S. Goncharov, J. F. Knight & Jessica Millar - 2009 - Archive for Mathematical Logic 48 (1):25-38.
    Computable structures of Scott rank ${\omega_1^{CK}}$ are an important boundary case for structural complexity. While every countable structure is determined, up to isomorphism, by a sentence of ${\mathcal{L}_{\omega_1 \omega}}$ , this sentence may not be computable. We give examples, in several familiar classes of structures, of computable structures with Scott rank ${\omega_1^{CK}}$ whose computable infinitary theories are each ${\aleph_0}$ -categorical. General conditions are given, covering many known methods for constructing computable structures with Scott rank ${\omega_1^{CK}}$ , which guarantee that the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  11
    Index Sets for Classes of High Rank Structures.W. Calvert, E. Fokina, S. S. Goncharov, J. F. Knight, O. Kudinov, A. S. Morozov & V. Puzarenko - 2007 - Journal of Symbolic Logic 72 (4):1418 - 1432.
    This paper calculates, in a precise way, the complexity of the index sets for three classes of computable structures: the class $K_{\omega _{1}^{\mathit{CK}}}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}$ , the class $K_{\omega _{1}^{\mathit{CK}}+1}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}+1$ , and the class K of all structures of non-computable Scott rank. We show that I(K) is m-complete $\Sigma _{1}^{1},\,I(K_{\omega _{1}^{\mathit{CK}}})$ is m-complete $\Pi _{2}^{0}$ relative to Kleen's O, and $I(K_{\omega _{1}^{\mathit{CK}}+1})$ is m-complete $\Sigma _{2}^{0}$ relative to O.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  7
    Routledge handbook of animal welfare.Andrew Knight, Clive J. C. Phillips & Paula Sparks (eds.) - 2022 - New York: Routledge Taylor & Francis Group, Earthscan from Routledge.
    This handbook presents a much-needed and comprehensive exploration of the rapidly growing fields of animal welfare and law. In recent years there has been increasing attention paid to our complex, multifaceted relationships with other animals, and in particular, the depth and breadth of various societal uses of animals. This has led to a reconsideration of their moral and social status, which has sometimes challenged the interests of those who use animals. In such a contested domain, sound evidence and reasoning become (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Proof and relativity-a reply to Dudman.Christopher J. Mac Knight - 1980 - International Logic Review: Rassegna Internazionale di Logica 11:77.
     
    Export citation  
     
    Bookmark  
  34.  8
    Nietzsche and Epicurean Philosophy.A. H. J. Knight - 1933 - Philosophy 8 (32):431 - 445.
    Nietzsche's opinions on philosophy and aesthetics developed under strong and lasting impulses from classical antiquity. These were not always the same, for at various periods in his life Nietzsche placed Heraclitus, Empedocles, Aeschylus, and even Socrates and Plato on the highest summit of wisdom. In his so-called first stage of development the pre-Socratics were generally his favourite thinkers, and in the third and last stage these same figures tend to come into prominence again. On the other hand, in the works (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  44
    Investigating the subjective reports of rejection processes in the word frequency mirror effect.J. Thadeus Meeks, Justin B. Knight, Gene A. Brewer, Gabriel I. Cook & Richard L. Marsh - 2014 - Consciousness and Cognition 24:57-69.
  36.  11
    The Greek Particles.W. F. J. Knight & J. D. Denniston - 1938 - American Journal of Philology 59 (4):490.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  37.  26
    Categorical perception of tactile distance.Frances Le Cornu Knight, Matthew R. Longo & Andrew J. Bremner - 2014 - Cognition 131 (2):254-262.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  38.  3
    Smith, Stein, picasso — and the contingency of value.Christopher J. Knight - 1987 - Journal of Value Inquiry 21 (3):217-224.
  39. The Expedited Removal Study: Report on the First Years of Implementation of Expedited Removal.Karen Musalo, Lauren Gibson, Stephen Knight & J. Taylor - 2001 - Notre Dame Journal of Law, Ethics and Public Policy 15 (2).
     
    Export citation  
     
    Bookmark  
  40.  2
    Animamqve Svperbam.W. F. J. Knight - 1932 - The Classical Review 46 (02):55-57.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  4
    ‘Animamqve Svperbam’ and Octavian.W. F. J. Knight - 1933 - The Classical Review 47 (05):169-171.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  3
    Clarvs Aqvilo.W. F. J. Knight - 1934 - The Classical Review 48 (04):124-125.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  3
    Cretae Oaxem.W. F. J. Knight - 1937 - The Classical Review 51 (06):212-213.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  3
    Vergil and the Maze.W. F. J. Knight - 1929 - The Classical Review 43 (06):212-213.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45.  3
    Vergil, Aeneid VI. 567–569.W. F. J. Knight - 1930 - The Classical Review 44 (01):5-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  7
    Caeli Convexa Per Auras.W. F. J. Knight - 1940 - Classical Quarterly 34 (3-4):129-.
    Dr. Cyril Bailey and Dr. C. M. Bowra have most recently analysed Virgil's method of using the expressions of Lucretius and Ennius respectively, and Mile A.-M. Guillemin has lately added significant considerations to Father F.-X. M. J. Roiron's long examination of Virgil's method of using again his own former expressions. Since then other work has been done with the purpose of clarifying the less rational part of Virgil's self-repetition; it might be called complementary to the well-known researches of Mr. John (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  3
    Iliupersides.W. F. J. Knight - 1932 - Classical Quarterly 26 (3-4):178-.
    For about a hundred years there has been an intermittent but sometimes vigorous debate1 on the question whether Quintus Smyrnaeus and Tryphiodorus directly used the Second Aeneid as a source for their epic descriptions “of the capture and destruction of Troy. Heyne thought that they did not; but towards the end of the nineteenth century it appeared more likely that they did. Heinze opposed the general belief: but it was reaffirmed for Quintus by Paschal and Becker4 and for Tryphiodorus by (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  48.  25
    Defining Eosinophil Function in Adiposity and Weight Loss.Alexander J. Knights, Emily J. Vohralik, Kyle L. Hoehn, Merlin Crossley & Kate G. R. Quinlan - 2018 - Bioessays 40 (10):1800098.
    Despite promising early work into the role of immune cells such as eosinophils in adipose tissue (AT) homeostasis, recent findings revealed that elevating the number of eosinophils in AT alone is insufficient for improving metabolic impairments in obese mice. Eosinophils are primarily recognized for their role in allergic immunity and defence against parasitic worms. They have also been detected in AT and appear to contribute to adipose homeostasis and drive energy expenditure, but the underlying mechanisms remain elusive. It has long (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  3
    Homodyne in the Fourth Foot of the Vergilian Hexameter.W. F. J. Knight - 1931 - Classical Quarterly 25 (3-4):184-.
    It is sufficiently probable that quantitative scansion in Latin, imposed on a language in which accentuation by stress was alone significant originally, not only gave way to the earlier principle in the decline of Latin literature, but scarcely tended to suppress it at any time in common speech and in familiar writing. It is also probable therefore that even in literature dominated by quantity stress-accentuation was not obliterated altogether. In fact the incidences of it, in Vergilian verse at least, seemed (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  74
    Indigenous Research: A Commitment to Walking the Talk. The Gudaga Study—an Australian Case Study.Jennifer A. Knight, Elizabeth J. Comino, Elizabeth Harris & Lisa Jackson-Pulver - 2009 - Journal of Bioethical Inquiry 6 (4):467-476.
    Increasingly, the role of health research in improving the discrepancies in health outcomes between Indigenous and non-Indigenous populations in developed countries is being recognised. Along with this comes the recognition that health research must be conducted in a manner that is culturally appropriate and ethically sound. Two key documents have been produced in Australia, known as The Road Map and The Guidelines, to provide theoretical and philosophical direction to the ethics of Indigenous health research. These documents identify research themes considered (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 961