Order:
Disambiguations
Richard Kaye [32]Richard W. Kaye [2]R. Kaye [2]Russell S. Kaye [1]
  1.  76
    On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
    This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  2.  35
    Automorphisms of recursively saturated models of arithmetic.Richard Kaye, Roman Kossak & Henryk Kotlarski - 1991 - Annals of Pure and Applied Logic 55 (1):67-99.
    We give an examination of the automorphism group Aut of a countable recursively saturated model M of PA. The main result is a characterisation of strong elementary initial segments of M as the initial segments consisting of fixed points of automorphisms of M. As a corollary we prove that, for any consistent completion T of PA, there are recursively saturated countable models M1, M2 of T, such that Aut[ncong]Aut, as topological groups with a natural topology. Other results include a classification (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  3.  71
    On parameter free induction schemas.R. Kaye, J. Paris & C. Dimitracopoulos - 1988 - Journal of Symbolic Logic 53 (4):1082-1097.
    We present a comprehensive study of the axiom schemas IΣ - n , BΣ - n (induction and collection schemas for parameter free Σ n formulas) and some closely related schemas.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  4.  34
    Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.
    We show that Matijasevič's Theorem on the diophantine representation of r.e. predicates is provable in the subsystem I ∃ - 1 of Peano Arithmetic formed by restricting the induction scheme to diophantine formulas with no parameters. More specifically, I ∃ - 1 ⊢ IE - 1 + E ⊢ Matijasevič's Theorem where IE - 1 is the scheme of parameter-free bounded existential induction and E is an ∀∃ axiom expressing the existence of a function of exponential growth. We conclude by (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  5. Amphi-ZF : axioms for Conway games.Michael Cox & Richard Kaye - 2012 - Archive for Mathematical Logic 51 (3-4):353-371.
    A theory of two-sided containers, denoted ZF2, is introduced. This theory is then shown to be synonymous to ZF in the sense of Visser (2006), via an interpretation involving Quine pairs. Several subtheories of ZF2, and their relationships with ZF, are also examined. We include a short discussion of permutation models (in the sense of Rieger–Bernays) over ZF2. We close with highlighting some areas for future research, mostly motivated by the need to understand non-wellfounded games.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  57
    End-extensions preserving power set.Thomas Forster & Richard Kaye - 1991 - Journal of Symbolic Logic 56 (1):323-328.
    We consider the quantifier hierarchy of Takahashi [1972] and show how it gives rise to reflection theorems for some large cardinals in ZF, a new natural subtheory of Zermelo's set theory, a potentially useful new reduction of the consistency problem for Quine's NF, and a sharpening of another reduction of this problem due to Boffa.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  18
    (1 other version)Parameter‐Free Universal Induction.Richard Kaye - 1989 - Mathematical Logic Quarterly 35 (5):443-456.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  43
    The mathematics of logic: a guide to completeness theorems and their applications.Richard W. Kaye - 2007 - New York: Cambridge University Press.
    This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  15
    On cofinal extensions of models of fragments of arithmetic.Richard Kaye - 1991 - Notre Dame Journal of Formal Logic 32 (3):399-408.
  10.  32
    Generic cuts in models of arithmetic.Richard Kaye - 2008 - Mathematical Logic Quarterly 54 (2):129-144.
    We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y.The notion of “indicator” is de.ned in a novel way, without initially specifying what property is indicated and is used to de.ne a topological space of cuts of the model. Various familiar properties of cuts are investigated in this sense, and several results are given stating whether or not the set of cuts having the property is comeagre.A new (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  31
    Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups.Henryk Kotlarski & Richard Kaye - 1994 - Notre Dame Journal of Formal Logic 35 (1):1-14.
    Let M be a countable recursively saturated model of Th(), and let GAut(M), considered as a topological group. We examine connections between initial segments of M and subgroups of G. In particular, for each of the following classes of subgroups HG, we give characterizations of the class of terms of the topological group structure of H as a subgroup of G. (a) for some (b) for some (c) for some (d) for some (Here, M(a) denotes the smallest M containing a, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  78
    A generalization of Specker's theorem on typical ambiguity.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (2):458-466.
    We generalize Specker's theorem on typical ambiguity, that NF and TST + Ambiguity have the same stratified consequences, to the subschemes Amb(Γ) of ambiguity restricted to classes of sentences Γ with certain natural closure conditions.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Truth in generic cuts.Richard Kaye & Tin Lok Wong - 2010 - Annals of Pure and Applied Logic 161 (8):987-1005.
    In an earlier paper the first author initiated the study of generic cuts of a model of Peano arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of an indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more general context, and in particular we obtain the idea of a generic cut (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  23
    Circularity in soundness and completeness.Richard Kaye - 2014 - Bulletin of Symbolic Logic 20 (1):24-38.
    We raise an issue of circularity in the argument for the completeness of first-order logic. An analysis of the problem sheds light on the development of mathematics, and suggests other possible directions for foundational research.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  42
    On Models Constructed by Means of the Arithmetized Completeness Theorem.Richard Kaye & Henryk Kotlarski - 2000 - Mathematical Logic Quarterly 46 (4):505-516.
    In this paper we study the model theory of extensions of models of first-order Peano Arithmetic by means of the arithmetized completeness theorem applied to a definable complete extension of PA in the original model. This leads us to many interesting model theoretic properties equivalent to reflection principles and ω-consistency, and these properties together with the associated first-order schemes extending PA are studied.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  28
    The Theory of $\kappa$ -like Models of Arithmetic.Richard Kaye - 1995 - Notre Dame Journal of Formal Logic 36 (4):547-559.
    A model is said to be -like if but for all , . In this paper, we shall study sentences true in -like models of arithmetic, especially in the cases when is singular. In particular, we identify axiom schemes true in such models which are particularly `natural' from a combinatorial or model-theoretic point of view and investigate the properties of models of these schemes.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  37
    The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.
    We present a number of results on the structure of initial segments of models of Peano arithmetic with the arithmetic operations of addition, subtraction, multiplication, division, exponentiation and logarithm. Each of the binary operations introduced is defined in two dual ways, often with quite different results, and we attempt to systematise the issues and show how various calculations may be carried out. To understand the behaviour of addition and subtraction we introduce a notion of derivative on cuts, analogous to differentiation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  96
    Model-theoretic properties characterizing Peano arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
    Let= {0,1, +,·,<} be the usual first-order language of arithmetic. We show that Peano arithmetic is the least first-order-theory containingIΔ0+ exp such that every complete extensionTof it has a countable modelKsatisfying(i)Khas no proper elementary substructures, and(ii) wheneverL≻Kis a countable elementary extension there isandsuch that.Other model-theoretic conditions similar to (i) and (ii) are also discussed and shown to characterize Peano arithmetic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  44
    Normal subgroups of nonstandard symmetric and alternating groups.John Allsup & Richard Kaye - 2007 - Archive for Mathematical Logic 46 (2):107-121.
    Let ${\mathfrak{M}}$ be a nonstandard model of Peano Arithmetic with domain M and let ${n \in M}$ be nonstandard. We study the symmetric and alternating groups S n and A n of permutations of the set ${\{0,1,\ldots,n-1\}}$ internal to ${\mathfrak{M}}$ , and classify all their normal subgroups, identifying many externally defined such normal subgroups in the process. We provide evidence that A n and S n are not split extensions by these normal subgroups, by showing that any such complement if (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  4
    The Model Theory of Generic Cuts.Richard Kaye & Tin Lok Wong - 2015 - In Asa Hirvonen, Juha Kontinen, Roman Kossak & Andres Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 281-296.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Transplendent Models: Expansions Omitting a Type.Fredrik Engström & Richard W. Kaye - 2012 - Notre Dame Journal of Formal Logic 53 (3):413-428.
    We expand the notion of resplendency to theories of the kind T + p", where T is a fi rst-order theory and p" expresses that the type p is omitted. We investigate two di erent formulations and prove necessary and sucient conditions for countable recursively saturated models of PA. Some of the results in this paper can be found in one of the author's doctoral thesis [3].
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  22.  18
    Friedman, Sy D. and VeliCkovit, B., Al-Definability.I. Hodkinson, R. Kaye, I. Korec, F. Maurin, H. Mildenberger & F. O. Wagner - 1997 - Annals of Pure and Applied Logic 89 (1):277.
  23. A diophantine undecidable subsystem of arithmetic with no induction axioms.Richard Kaye - unknown
  24.  26
    Hilbert's tenth problem for weak theories of arithmetic.Richard Kaye - 1993 - Annals of Pure and Applied Logic 61 (1-2):63-73.
    Hilbert's tenth problem for a theory T asks if there is an algorithm which decides for a given polynomial p() from [] whether p() has a root in some model of T. We examine some of the model-theoretic consequences that an affirmative answer would have in cases such as T = Open Induction and others, and apply these methods by providing a negative answer in the cases when T is some particular finite fragment of the weak theories IE1 or IU-1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  12
    Interpretations between ω-logic and second-order arithmetic.Richard Kaye - 2014 - Journal of Symbolic Logic 79 (3):845-858.
    This paper addresses the structures and ), whereMis a nonstandard model of PA andωis the standard cut. It is known that ) is interpretable in. Our main technical result is that there is an reverse interpretation of in ) which is ‘local’ in the sense of Visser [11]. We also relate the model theory of to the study of transplendent models of PA [2].This yields a number of model theoretic results concerning theω-models and their standard systems SSy, including the following.•$\left (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  16
    Infinitary definitions of equivalence relations in models of PA.Richard Kaye - 1997 - Annals of Pure and Applied Logic 89 (1):37-43.
  27.  23
    Grating acuity along the vertical meridian as a function of grating orientation.Frederick L. Kitterle, Russell S. Kaye & John Samuels - 1980 - Bulletin of the Psychonomic Society 16 (5):401-402.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  30
    Petr Hájek and Pavel Pudlák. Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Springer-Verlag, Berlin etc. 1993, xiv + 460 pp. [REVIEW]Richard Kaye - 1995 - Journal of Symbolic Logic 60 (4):1317-1320.
  29.  33
    Book Review: T. E. Forster. Set theory with a universal set: Exploring an untyped universe. [REVIEW]Richard Kaye - 1993 - Notre Dame Journal of Formal Logic 34 (2):302-309.
  30.  7
    (4 other versions)The Model Theory of Generic Cuts. [REVIEW]Richard Kaye & Tin Lok Wong - 2015 - In Asa Hirvonen, Juha Kontinen, Roman Kossak & Andres Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 281-296.
    Direct download  
     
    Export citation  
     
    Bookmark