BibTeX records: Richard Kaye

download as .bib file

@incollection{DBLP:books/daglib/p/KayeW15,
  author       = {Richard Kaye and
                  Tin Lok Wong},
  editor       = {{\AA}sa Hirvonen and
                  Juha Kontinen and
                  Roman Kossak and
                  Andr{\'{e}}s Villaveces},
  title        = {The Model Theory of Generic Cuts},
  booktitle    = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
                  Logic and Philosophy of Mathematics},
  series       = {Ontos Mathematical Logic},
  volume       = {5},
  pages        = {281--296},
  publisher    = {De Gruyter},
  year         = {2015},
  url          = {https://doi.org/10.1515/9781614516873.281},
  doi          = {10.1515/9781614516873.281},
  timestamp    = {Tue, 16 May 2017 14:01:41 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/KayeW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Kaye14,
  author       = {Richard Kaye},
  title        = {Circularity in Soundness and Completeness},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {24--38},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2013.4},
  doi          = {10.1017/BSL.2013.4},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Kaye14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kaye14,
  author       = {Richard Kaye},
  title        = {Interpretations between \emph{{\(\omega\)}}-Logic and second-order
                  Arithmetic},
  journal      = {J. Symb. Log.},
  volume       = {79},
  number       = {3},
  pages        = {845--858},
  year         = {2014},
  url          = {https://doi.org/10.1017/jsl.2013.17},
  doi          = {10.1017/JSL.2013.17},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kaye14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/Kaye13,
  author       = {Richard Kaye},
  title        = {The arithmetic of cuts in models of arithmetic},
  journal      = {Math. Log. Q.},
  volume       = {59},
  number       = {4-5},
  pages        = {332--351},
  year         = {2013},
  url          = {https://doi.org/10.1002/malq.201200062},
  doi          = {10.1002/MALQ.201200062},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kaye13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CoxK12,
  author       = {Michael Cox and
                  Richard Kaye},
  title        = {Amphi-ZF : axioms for Conway games},
  journal      = {Arch. Math. Log.},
  volume       = {51},
  number       = {3-4},
  pages        = {353--371},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00153-012-0275-x},
  doi          = {10.1007/S00153-012-0275-X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CoxK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/EngstromK12,
  author       = {Fredrik Engstr{\"{o}}m and
                  Richard Kaye},
  title        = {Transplendent Models: Expansions Omitting a Type},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {53},
  number       = {3},
  pages        = {413--428},
  year         = {2012},
  url          = {https://doi.org/10.1215/00294527-1716739},
  doi          = {10.1215/00294527-1716739},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/EngstromK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KayeW10,
  author       = {Richard Kaye and
                  Tin Lok Wong},
  title        = {Truth in generic cuts},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {161},
  number       = {8},
  pages        = {987--1005},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.apal.2009.11.001},
  doi          = {10.1016/J.APAL.2009.11.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KayeW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/Kaye08,
  author       = {Richard Kaye},
  title        = {Generic cuts in models of arithmetic},
  journal      = {Math. Log. Q.},
  volume       = {54},
  number       = {2},
  pages        = {129--144},
  year         = {2008},
  url          = {https://doi.org/10.1002/malq.200710017},
  doi          = {10.1002/MALQ.200710017},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kaye08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/AllsupK07,
  author       = {John Allsup and
                  Richard Kaye},
  title        = {Normal subgroups of nonstandard symmetric and alternating groups},
  journal      = {Arch. Math. Log.},
  volume       = {46},
  number       = {2},
  pages        = {107--121},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00153-006-0030-2},
  doi          = {10.1007/S00153-006-0030-2},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/AllsupK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/KayeW07,
  author       = {Richard Kaye and
                  Tin Lok Wong},
  title        = {On Interpretations of Arithmetic and Set Theory},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {48},
  number       = {4},
  pages        = {497--510},
  year         = {2007},
  url          = {https://doi.org/10.1305/ndjfl/1193667707},
  doi          = {10.1305/NDJFL/1193667707},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/KayeW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/KayeK00,
  author       = {Richard Kaye and
                  Henryk Kotlarski},
  title        = {On Models Constructed by Means of the Arithmetized Completeness Theorem},
  journal      = {Math. Log. Q.},
  volume       = {46},
  number       = {4},
  pages        = {505--516},
  year         = {2000},
  url          = {https://doi.org/10.1002/1521-3870(200010)46:4\&\#60;505::AID-MALQ505\&\#62;3.0.CO;2-M},
  doi          = {10.1002/1521-3870(200010)46:4\&\#60;505::AID-MALQ505\&\#62;3.0.CO;2-M},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/KayeK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kaye97,
  author       = {Richard Kaye},
  title        = {Infinitary Definitions of Equivalence Relations in Models of {PA}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {89},
  number       = {1},
  pages        = {37--43},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00003-1},
  doi          = {10.1016/S0168-0072(97)00003-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kaye97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Kaye95,
  author       = {Richard Kaye},
  title        = {The Theory of {\(\kappa\)}-like Models of Arithmetic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {36},
  number       = {4},
  pages        = {547--559},
  year         = {1995},
  url          = {https://doi.org/10.1305/ndjfl/1040136915},
  doi          = {10.1305/NDJFL/1040136915},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Kaye95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/KotlarskiK94,
  author       = {Henryk Kotlarski and
                  Richard Kaye},
  title        = {Automorphisms of Models of True Arithmetic: Recognizing Some Basic
                  Open Subgroups},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {35},
  number       = {1},
  pages        = {1--14},
  year         = {1994},
  url          = {https://doi.org/10.1305/ndjfl/1040609291},
  doi          = {10.1305/NDJFL/1040609291},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/KotlarskiK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kaye93,
  author       = {Richard Kaye},
  title        = {Hilbert's Tenth Problem for Weak Theories of Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {61},
  number       = {1-2},
  pages        = {63--73},
  year         = {1993},
  url          = {https://doi.org/10.1016/0168-0072(93)90198-M},
  doi          = {10.1016/0168-0072(93)90198-M},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kaye93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0071931,
  author       = {Richard Kaye},
  title        = {Models of Peano arithmetic},
  series       = {Oxford logic guides},
  volume       = {15},
  publisher    = {Clarendon Press},
  year         = {1991},
  isbn         = {978-0-19-853213-2},
  timestamp    = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0071931.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/KayeKK91,
  author       = {Richard Kaye and
                  Roman Kossak and
                  Henryk Kotlarski},
  title        = {Automorphisms of Recursively Saturated Models of Arithmetic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {55},
  number       = {1},
  pages        = {67--99},
  year         = {1991},
  url          = {https://doi.org/10.1016/0168-0072(91)90098-7},
  doi          = {10.1016/0168-0072(91)90098-7},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/KayeKK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ForsterK91,
  author       = {Thomas Forster and
                  Richard Kaye},
  title        = {End-Extensions Preserving Power Set},
  journal      = {J. Symb. Log.},
  volume       = {56},
  number       = {1},
  pages        = {323--328},
  year         = {1991},
  url          = {https://doi.org/10.2307/2274922},
  doi          = {10.2307/2274922},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/ForsterK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kaye91,
  author       = {Richard Kaye},
  title        = {A Generalization of Specker's Theorem on Typical Ambiguity},
  journal      = {J. Symb. Log.},
  volume       = {56},
  number       = {2},
  pages        = {458--466},
  year         = {1991},
  url          = {https://doi.org/10.2307/2274693},
  doi          = {10.2307/2274693},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kaye91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kaye91a,
  author       = {Richard Kaye},
  title        = {Model-Theoretic Properties Characterizing Peano Arithmetic},
  journal      = {J. Symb. Log.},
  volume       = {56},
  number       = {3},
  pages        = {949--963},
  year         = {1991},
  url          = {https://doi.org/10.2307/2275063},
  doi          = {10.2307/2275063},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kaye91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Kaye91,
  author       = {Richard Kaye},
  title        = {On Cofinal Extensions of Models of Fragments of Arithmetic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {32},
  number       = {3},
  pages        = {399--408},
  year         = {1991},
  url          = {https://doi.org/10.1305/ndjfl/1093635836},
  doi          = {10.1305/NDJFL/1093635836},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Kaye91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kaye90,
  author       = {Richard Kaye},
  title        = {Diophantine Induction},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {46},
  number       = {1},
  pages        = {1--40},
  year         = {1990},
  url          = {https://doi.org/10.1016/0168-0072(90)90076-E},
  doi          = {10.1016/0168-0072(90)90076-E},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kaye90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/Kaye89,
  author       = {Richard Kaye},
  title        = {Parameter-Free Universal Induction},
  journal      = {Math. Log. Q.},
  volume       = {35},
  number       = {5},
  pages        = {443--456},
  year         = {1989},
  url          = {https://doi.org/10.1002/malq.19890350511},
  doi          = {10.1002/MALQ.19890350511},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kaye89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.