BibTeX records: Sy-David Friedman

download as .bib file

@article{DBLP:journals/apal/EskewFHS24,
  author       = {Monroe Eskew and
                  Sy{-}David Friedman and
                  Yair Hayut and
                  Farmer Schlutzenberg},
  title        = {Mutually embeddable models of {ZFC}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {175},
  number       = {Issue 1, Part {B}},
  pages        = {103325},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.apal.2023.103325},
  doi          = {10.1016/J.APAL.2023.103325},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/EskewFHS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanGM23,
  author       = {Sy{-}David Friedman and
                  Victoria Gitman and
                  Sandra M{\"{u}}ller},
  title        = {Structural Properties of the stable Core},
  journal      = {J. Symb. Log.},
  volume       = {88},
  number       = {3},
  pages        = {889--918},
  year         = {2023},
  url          = {https://doi.org/10.1017/jsl.2023.10},
  doi          = {10.1017/JSL.2023.10},
  timestamp    = {Wed, 21 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EskewF22,
  author       = {Monroe Eskew and
                  Sy{-}David Friedman},
  title        = {Embeddings Into Outer Models},
  journal      = {J. Symb. Log.},
  volume       = {87},
  number       = {4},
  pages        = {1301--1321},
  year         = {2022},
  url          = {https://doi.org/10.1017/jsl.2022.52},
  doi          = {10.1017/JSL.2022.52},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/EskewF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanH21,
  author       = {Sy{-}David Friedman and
                  Dan Hathaway},
  title        = {Generic coding with Help and Amalgamation Failure},
  journal      = {J. Symb. Log.},
  volume       = {86},
  number       = {4},
  pages        = {1385--1395},
  year         = {2021},
  url          = {https://doi.org/10.1017/jsl.2019.68},
  doi          = {10.1017/JSL.2019.68},
  timestamp    = {Wed, 09 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/AntosBF21,
  author       = {Carolin Antos and
                  Neil Barton and
                  Sy{-}David Friedman},
  title        = {Universism and Extensions of {V}},
  journal      = {Rev. Symb. Log.},
  volume       = {14},
  number       = {1},
  pages        = {112--154},
  year         = {2021},
  url          = {https://doi.org/10.1017/S1755020320000271},
  doi          = {10.1017/S1755020320000271},
  timestamp    = {Fri, 08 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/AntosBF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/AntosBFTW20,
  author       = {Carolin Antos and
                  Neil Barton and
                  Sy{-}David Friedman and
                  Claudio Ternullo and
                  John Wigglesworth},
  title        = {Introduction},
  journal      = {Synth.},
  volume       = {197},
  number       = {2},
  pages        = {469--475},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11229-019-02422-3},
  doi          = {10.1007/S11229-019-02422-3},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/AntosBFTW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BartonF20,
  author       = {Neil Barton and
                  Sy{-}David Friedman},
  title        = {Maximality and ontology: how axiom content varies across philosophical
                  frameworks},
  journal      = {Synth.},
  volume       = {197},
  number       = {2},
  pages        = {623--649},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11229-017-1336-9},
  doi          = {10.1007/S11229-017-1336-9},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/BartonF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BeckmannBFMT19,
  author       = {Arnold Beckmann and
                  Sam Buss and
                  Sy{-}David Friedman and
                  Moritz M{\"{u}}ller and
                  Neil Thapen},
  title        = {Feasible set functions have small circuits},
  journal      = {Comput.},
  volume       = {8},
  number       = {1},
  pages        = {67--98},
  year         = {2019},
  url          = {https://doi.org/10.3233/COM-180096},
  doi          = {10.3233/COM-180096},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computability/BeckmannBFMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/FriedmanGK19,
  author       = {Sy{-}David Friedman and
                  Victoria Gitman and
                  Vladimir Kanovei},
  title        = {A model of second-order arithmetic satisfying {AC} but not {DC}},
  journal      = {J. Math. Log.},
  volume       = {19},
  number       = {1},
  pages        = {1850013:1--1850013:39},
  year         = {2019},
  url          = {https://doi.org/10.1142/S0219061318500137},
  doi          = {10.1142/S0219061318500137},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/FriedmanGK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanH19,
  author       = {Sy{-}David Friedman and
                  Stefan Hoffelner},
  title        = {A {\textdollar}\{{\textbackslash}rm\{{\textbackslash}Sigma \}\}{\_}4{\^{}}1
                  {\textdollar} {WELLORDER} {OF} {THE} {REALS} {WITH} {\textdollar}\{{\textbackslash}rm\{NS\}\}{\_}\{{\textbackslash}omega
                  {\_}1 \} {\textdollar} {SATURATED}},
  journal      = {J. Symb. Log.},
  volume       = {84},
  number       = {4},
  pages        = {1466--1483},
  year         = {2019},
  url          = {https://doi.org/10.1017/jsl.2019.43},
  doi          = {10.1017/JSL.2019.43},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FischerFMM18,
  author       = {Vera Fischer and
                  Sy D. Friedman and
                  Diego Alejandro Mej{\'{\i}}a and
                  Diana Carolina Montoya},
  title        = {Coherent Systems of finite Support iterations},
  journal      = {J. Symb. Log.},
  volume       = {83},
  number       = {1},
  pages        = {208--236},
  year         = {2018},
  url          = {https://doi.org/10.1017/jsl.2017.20},
  doi          = {10.1017/JSL.2017.20},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/FischerFMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CummingsFMR18,
  author       = {James Cummings and
                  Sy{-}David Friedman and
                  Menachem Magidor and
                  Assaf Rinot},
  title        = {The eightfold Way},
  journal      = {J. Symb. Log.},
  volume       = {83},
  number       = {1},
  pages        = {349--371},
  year         = {2018},
  url          = {https://doi.org/10.1017/jsl.2017.69},
  doi          = {10.1017/JSL.2017.69},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/CummingsFMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FriedmanL17,
  author       = {Sy{-}David Friedman and
                  Giorgio Laguzzi},
  title        = {A null ideal for inaccessibles},
  journal      = {Arch. Math. Log.},
  volume       = {56},
  number       = {5-6},
  pages        = {691--697},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00153-017-0562-7},
  doi          = {10.1007/S00153-017-0562-7},
  timestamp    = {Mon, 07 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/FriedmanL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Brooke-TaylorFF17,
  author       = {Andrew D. Brooke{-}Taylor and
                  Vera Fischer and
                  Sy{-}David Friedman and
                  Diana Carolina Montoya},
  title        = {Cardinal characteristics at {\(\kappa\)} in a small u({\(\kappa\)})
                  model},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {168},
  number       = {1},
  pages        = {37--49},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.apal.2016.08.004},
  doi          = {10.1016/J.APAL.2016.08.004},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Brooke-TaylorFF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AntosF17,
  author       = {Carolin Antos and
                  Sy{-}David Friedman},
  title        = {Hyperclass forcing in Morse-Kelley class Theory},
  journal      = {J. Symb. Log.},
  volume       = {82},
  number       = {2},
  pages        = {549--575},
  year         = {2017},
  url          = {https://doi.org/10.1017/jsl.2016.74},
  doi          = {10.1017/JSL.2016.74},
  timestamp    = {Wed, 19 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/AntosF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FriedmanLW16,
  author       = {Sy{-}David Friedman and
                  Wei Li and
                  Tin Lok Wong},
  title        = {Fragments of Kripke-Platek set theory and the metamathematics of {\(\alpha\)}-recursion
                  theory},
  journal      = {Arch. Math. Log.},
  volume       = {55},
  number       = {7-8},
  pages        = {899--924},
  year         = {2016},
  url          = {https://doi.org/10.1007/s00153-016-0501-z},
  doi          = {10.1007/S00153-016-0501-Z},
  timestamp    = {Wed, 20 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/FriedmanLW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BeckmannBFMT16,
  author       = {Arnold Beckmann and
                  Sam Buss and
                  Sy{-}David Friedman and
                  Moritz M{\"{u}}ller and
                  Neil Thapen},
  title        = {Cobham recursive set functions},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {167},
  number       = {3},
  pages        = {335--369},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.apal.2015.12.005},
  doi          = {10.1016/J.APAL.2015.12.005},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BeckmannBFMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanKK16,
  author       = {Sy{-}David Friedman and
                  Yurii Khomskii and
                  Vadim Kulikov},
  title        = {Regularity properties on the generalized reals},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {167},
  number       = {4},
  pages        = {408--430},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.apal.2016.01.001},
  doi          = {10.1016/J.APAL.2016.01.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Friedman16,
  author       = {Sy{-}David Friedman},
  title        = {Evidence for Set-theoretic Truth and the Hyperuniverse Programme},
  journal      = {{FLAP}},
  volume       = {3},
  number       = {4},
  pages        = {517--556},
  year         = {2016},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00008.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/Friedman16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman16,
  author       = {Sy{-}David Friedman},
  title        = {Isomorphism on {HYP}},
  journal      = {J. Symb. Log.},
  volume       = {81},
  number       = {2},
  pages        = {395--399},
  year         = {2016},
  url          = {https://doi.org/10.1017/jsl.2014.70},
  doi          = {10.1017/JSL.2014.70},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanH16,
  author       = {Sy{-}David Friedman and
                  Radek Honzik},
  title        = {Definability of Satisfaction in outer Models},
  journal      = {J. Symb. Log.},
  volume       = {81},
  number       = {3},
  pages        = {1047--1068},
  year         = {2016},
  url          = {https://doi.org/10.1017/jsl.2016.33},
  doi          = {10.1017/JSL.2016.33},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FriedmanH16,
  author       = {Sy{-}David Friedman and
                  Radek Honzik},
  title        = {On strong forms of reflection in set theory},
  journal      = {Math. Log. Q.},
  volume       = {62},
  number       = {1-2},
  pages        = {52--58},
  year         = {2016},
  url          = {https://doi.org/10.1002/malq.201400047},
  doi          = {10.1002/MALQ.201400047},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/FriedmanH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanW15,
  author       = {Sy{-}David Friedman and
                  Liuzhen Wu},
  title        = {Definable normal measures},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {166},
  number       = {1},
  pages        = {46--60},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.apal.2014.09.001},
  doi          = {10.1016/J.APAL.2014.09.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanL15,
  author       = {Sy{-}David Friedman and
                  Philipp L{\"{u}}cke},
  title        = {Large cardinals and definable well-orders, without the {GCH}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {166},
  number       = {3},
  pages        = {306--324},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.apal.2014.11.003},
  doi          = {10.1016/J.APAL.2014.11.003},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanH15,
  author       = {Sy{-}David Friedman and
                  Radek Honzik},
  title        = {The tree property at the {\unicode{1488}}2n's and the failure of {SCH}
                  at {\unicode{1488}}{\(\omega\)}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {166},
  number       = {4},
  pages        = {526--552},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.apal.2014.11.009},
  doi          = {10.1016/J.APAL.2014.11.009},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChengFH15,
  author       = {Yong Cheng and
                  Sy{-}David Friedman and
                  Joel David Hamkins},
  title        = {Large cardinals need not be large in {HOD}},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {166},
  number       = {11},
  pages        = {1186--1198},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.apal.2015.07.004},
  doi          = {10.1016/J.APAL.2015.07.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ChengFH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/0001FG15,
  author       = {James Cummings and
                  Sy{-}David Friedman and
                  Mohammad Golshani},
  title        = {Collapsing the cardinals of {HOD}},
  journal      = {J. Math. Log.},
  volume       = {15},
  number       = {2},
  pages        = {1550007:1--1550007:32},
  year         = {2015},
  url          = {https://doi.org/10.1142/S0219061315500075},
  doi          = {10.1142/S0219061315500075},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/0001FG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanHL15,
  author       = {Sy{-}David Friedman and
                  Peter Holy and
                  Philipp L{\"{u}}cke},
  title        = {Large Cardinals and Lightface Definable Well-Orders, without the {GCH}},
  journal      = {J. Symb. Log.},
  volume       = {80},
  number       = {1},
  pages        = {251--284},
  year         = {2015},
  url          = {https://doi.org/10.1017/jsl.2013.41},
  doi          = {10.1017/JSL.2013.41},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanHL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanK15,
  author       = {Sy{-}David Friedman and
                  Vadim Kulikov},
  title        = {Failures of the Silver Dichotomy in the generalized Baire Space},
  journal      = {J. Symb. Log.},
  volume       = {80},
  number       = {2},
  pages        = {661--670},
  year         = {2015},
  url          = {https://doi.org/10.1017/jsl.2014.2},
  doi          = {10.1017/JSL.2014.2},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BeckmannBF15,
  author       = {Arnold Beckmann and
                  Samuel R. Buss and
                  Sy{-}David Friedman},
  title        = {Safe Recursive Set Functions},
  journal      = {J. Symb. Log.},
  volume       = {80},
  number       = {3},
  pages        = {730--762},
  year         = {2015},
  url          = {https://doi.org/10.1017/jsl.2015.26},
  doi          = {10.1017/JSL.2015.26},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BeckmannBF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/AntosFHT15,
  author       = {Carolin Antos and
                  Sy{-}David Friedman and
                  Radek Honzik and
                  Claudio Ternullo},
  title        = {Multiverse conceptions in set theory},
  journal      = {Synth.},
  volume       = {192},
  number       = {8},
  pages        = {2463--2488},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11229-015-0819-9},
  doi          = {10.1007/S11229-015-0819-9},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/AntosFHT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DimonteF14,
  author       = {Vincenzo Dimonte and
                  Sy{-}David Friedman},
  title        = {Rank-into-rank hypotheses and the failure of {GCH}},
  journal      = {Arch. Math. Log.},
  volume       = {53},
  number       = {3-4},
  pages        = {351--366},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00153-014-0369-8},
  doi          = {10.1007/S00153-014-0369-8},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/DimonteF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FischerFK14,
  author       = {Vera Fischer and
                  Sy{-}David Friedman and
                  Yurii Khomskii},
  title        = {Cicho{\'{n}}'s diagram, regularity properties and {\(\Delta\)}\({}^{\mbox{1}}\)\({}_{\mbox{3}}\)
                  sets of reals},
  journal      = {Arch. Math. Log.},
  volume       = {53},
  number       = {5-6},
  pages        = {695--729},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00153-014-0385-8},
  doi          = {10.1007/S00153-014-0385-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/FischerFK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/FischerFK14,
  author       = {Vera Fischer and
                  Sy{-}David Friedman and
                  Yurii Khomskii},
  title        = {Measure, category and projective wellorders},
  journal      = {J. Log. Anal.},
  volume       = {6},
  year         = {2014},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/219/100},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/FischerFK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Friedman14,
  author       = {Sy{-}David Friedman},
  editor       = {Vasco Brattka and
                  Hannes Diener and
                  Dieter Spreen},
  title        = {The completeness of isomorphism},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {157--164},
  publisher    = {De Gruyter},
  year         = {2014},
  url          = {https://doi.org/10.1515/9781614518044.157},
  doi          = {10.1515/9781614518044.157},
  timestamp    = {Tue, 16 May 2017 14:01:34 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Friedman14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FischerFK13,
  author       = {Vera Fischer and
                  Sy{-}David Friedman and
                  Yurii Khomskii},
  title        = {Co-analytic mad families and definable wellorders},
  journal      = {Arch. Math. Log.},
  volume       = {52},
  number       = {7-8},
  pages        = {809--822},
  year         = {2013},
  url          = {https://doi.org/10.1007/s00153-013-0345-8},
  doi          = {10.1007/S00153-013-0345-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/FischerFK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanRW13,
  author       = {Sy{-}David Friedman and
                  Michael Rathjen and
                  Andreas Weiermann},
  title        = {Slow consistency},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {164},
  number       = {3},
  pages        = {382--393},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.apal.2012.11.009},
  doi          = {10.1016/J.APAL.2012.11.009},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanRW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FischerFZ13,
  author       = {Vera Fischer and
                  Sy{-}David Friedman and
                  Lyubomyr Zdomskyy},
  title        = {Cardinal characteristics, projective wellorders and large continuum},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {164},
  number       = {7-8},
  pages        = {763--770},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.apal.2012.12.001},
  doi          = {10.1016/J.APAL.2012.12.001},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FischerFZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AsperoFMS13,
  author       = {David Asper{\'{o}} and
                  Sy{-}David Friedman and
                  Miguel Angel Mota and
                  Marcin Sabok},
  title        = {Baumgartner's conjecture and bounded forcing axioms},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {164},
  number       = {12},
  pages        = {1178--1186},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.apal.2013.06.006},
  doi          = {10.1016/J.APAL.2013.06.006},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/AsperoFMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanHZ13,
  author       = {Sy{-}David Friedman and
                  Radek Honzik and
                  Lyubomyr Zdomskyy},
  title        = {Fusion and large cardinal preservation},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {164},
  number       = {12},
  pages        = {1247--1273},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.apal.2013.06.011},
  doi          = {10.1016/J.APAL.2013.06.011},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanHZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/ArrigoniF13,
  author       = {Tatiana Arrigoni and
                  Sy{-}David Friedman},
  title        = {The hyperuniverse program},
  journal      = {Bull. Symb. Log.},
  volume       = {19},
  number       = {1},
  pages        = {77--96},
  year         = {2013},
  url          = {https://doi.org/10.2178/bsl.1901030},
  doi          = {10.2178/BSL.1901030},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/ArrigoniF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanG13,
  author       = {Sy{-}David Friedman and
                  Mohammad Golshani},
  title        = {Killing the {GCH} everywhere with a single real},
  journal      = {J. Symb. Log.},
  volume       = {78},
  number       = {3},
  pages        = {803--823},
  year         = {2013},
  url          = {https://doi.org/10.2178/jsl.7803060},
  doi          = {10.2178/JSL.7803060},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FokinaFKM13,
  author       = {Ekaterina B. Fokina and
                  Sy{-}David Friedman and
                  Julia F. Knight and
                  Russell G. Miller},
  title        = {Classes of structures with universe a subset of \emph{{\(\omega\)}}\({}_{\mbox{1}}\)},
  journal      = {J. Log. Comput.},
  volume       = {23},
  number       = {6},
  pages        = {1249--1265},
  year         = {2013},
  url          = {https://doi.org/10.1093/logcom/ext042},
  doi          = {10.1093/LOGCOM/EXT042},
  timestamp    = {Wed, 16 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/FokinaFKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FriedmanHK13,
  author       = {Sy{-}David Friedman and
                  Tapani Hyttinen and
                  Martin Koerwien},
  title        = {The Nonabsoluteness of Model Existence in Uncountable Cardinals for
                  L\({}_{\mbox{{\(\omega\)}\({}_{\mbox{1}}\),{\(\omega\)}}}\)},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {2},
  pages        = {137--151},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1960443},
  doi          = {10.1215/00294527-1960443},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/FriedmanHK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FriedmanH12,
  author       = {Sy{-}David Friedman and
                  Tapani Hyttinen},
  title        = {On Borel equivalence relations in generalized Baire space},
  journal      = {Arch. Math. Log.},
  volume       = {51},
  number       = {3-4},
  pages        = {299--304},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00153-011-0266-3},
  doi          = {10.1007/S00153-011-0266-3},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/FriedmanH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FriedmanG12,
  author       = {Sy{-}David Friedman and
                  Mohammad Golshani},
  title        = {Independence of higher Kurepa hypotheses},
  journal      = {Arch. Math. Log.},
  volume       = {51},
  number       = {5-6},
  pages        = {621--633},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00153-012-0286-7},
  doi          = {10.1007/S00153-012-0286-7},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/FriedmanG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArrigoniF12,
  author       = {Tatiana Arrigoni and
                  Sy{-}David Friedman},
  title        = {Foundational implications of the Inner Model Hypothesis},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {163},
  number       = {10},
  pages        = {1360--1366},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.apal.2012.01.009},
  doi          = {10.1016/J.APAL.2012.01.009},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ArrigoniF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanH12,
  author       = {Sy{-}David Friedman and
                  Radek Honzik},
  title        = {Easton's theorem and large cardinals from the optimal hypothesis},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {163},
  number       = {12},
  pages        = {1738--1747},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.apal.2012.04.002},
  doi          = {10.1016/J.APAL.2012.04.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Friedman12,
  author       = {Sy{-}David Friedman},
  title        = {The stable core},
  journal      = {Bull. Symb. Log.},
  volume       = {18},
  number       = {2},
  pages        = {261--267},
  year         = {2012},
  url          = {https://doi.org/10.2178/bsl/1333560807},
  doi          = {10.2178/BSL/1333560807},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Friedman12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/FischerFT12,
  author       = {Vera Fischer and
                  Sy{-}David Friedman and
                  Asger T{\"{o}}rnquist},
  title        = {Projective maximal families of orthogonal measures with large continuum},
  journal      = {J. Log. Anal.},
  volume       = {4},
  year         = {2012},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/153/57},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/FischerFT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FokinaFHKMM12,
  author       = {Ekaterina B. Fokina and
                  Sy{-}David Friedman and
                  Valentina S. Harizanov and
                  Julia F. Knight and
                  Charles F. D. McCoy and
                  Antonio Montalb{\'{a}}n},
  title        = {Isomorphism relations on computable structures},
  journal      = {J. Symb. Log.},
  volume       = {77},
  number       = {1},
  pages        = {122--132},
  year         = {2012},
  url          = {https://doi.org/10.2178/jsl/1327068695},
  doi          = {10.2178/JSL/1327068695},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FokinaFHKMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AsperoF12,
  author       = {David Asper{\'{o}} and
                  Sy{-}David Friedman},
  title        = {Definable well-orders of H({\(\omega\)}\({}_{\mbox{2}}\)) and {GCH}},
  journal      = {J. Symb. Log.},
  volume       = {77},
  number       = {4},
  pages        = {1101--1121},
  year         = {2012},
  url          = {https://doi.org/10.2178/jsl.7704030},
  doi          = {10.2178/JSL.7704030},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/AsperoF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FokinaF12,
  author       = {Ekaterina B. Fokina and
                  Sy{-}David Friedman},
  title        = {On {\(\Sigma\)}\({}^{\mbox{1}}\)\({}_{\mbox{1}}\) equivalence relations
                  over the natural numbers},
  journal      = {Math. Log. Q.},
  volume       = {58},
  number       = {1-2},
  pages        = {113--124},
  year         = {2012},
  url          = {https://doi.org/10.1002/malq.201020063},
  doi          = {10.1002/MALQ.201020063},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/FokinaF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FokinaFN12,
  author       = {Ekaterina B. Fokina and
                  Sy{-}David Friedman and
                  Andr{\'{e}} Nies},
  editor       = {C.{-}H. Luke Ong and
                  Ruy J. G. B. de Queiroz},
  title        = {Equivalence Relations That Are {\(\Sigma\)}\({}^{\mbox{0}}\)\({}_{\mbox{3}}\)
                  Complete for Computable Reducibility - (Extended Abstract)},
  booktitle    = {Logic, Language, Information and Computation - 19th International
                  Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7456},
  pages        = {26--33},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32621-9\_2},
  doi          = {10.1007/978-3-642-32621-9\_2},
  timestamp    = {Tue, 01 Jun 2021 15:22:32 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/FokinaFN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FischerFZ11,
  author       = {Vera Fischer and
                  Sy{-}David Friedman and
                  Lyubomyr Zdomskyy},
  title        = {Projective wellorders and mad families with large continuum},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {162},
  number       = {11},
  pages        = {853--862},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.apal.2011.04.001},
  doi          = {10.1016/J.APAL.2011.04.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FischerFZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanR11,
  author       = {Sy{-}David Friedman and
                  Luca Motto Ros},
  title        = {Analytic equivalence relations and bi-embeddability},
  journal      = {J. Symb. Log.},
  volume       = {76},
  number       = {1},
  pages        = {243--266},
  year         = {2011},
  url          = {https://doi.org/10.2178/jsl/1294170999},
  doi          = {10.2178/JSL/1294170999},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanH11,
  author       = {Sy{-}David Friedman and
                  Ajdin Halilovic},
  title        = {The tree property at {\(\aleph\)}\({}_{\mbox{{\(\omega\)}+2}}\)},
  journal      = {J. Symb. Log.},
  volume       = {76},
  number       = {2},
  pages        = {477--490},
  year         = {2011},
  url          = {https://doi.org/10.2178/jsl/1305810760},
  doi          = {10.2178/JSL/1305810760},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanW11,
  author       = {Sy{-}David Friedman and
                  Philip D. Welch},
  title        = {Hypermachines},
  journal      = {J. Symb. Log.},
  volume       = {76},
  number       = {2},
  pages        = {620--636},
  year         = {2011},
  url          = {https://doi.org/10.2178/jsl/1305810767},
  doi          = {10.2178/JSL/1305810767},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanHW11,
  author       = {Sy{-}David Friedman and
                  Tapani Hyttinen and
                  Agatha Walczak{-}Typke},
  title        = {Potential isomorphism of elementary substructures of a strictly stable
                  homogeneous model},
  journal      = {J. Symb. Log.},
  volume       = {76},
  number       = {3},
  pages        = {987--1004},
  year         = {2011},
  url          = {https://doi.org/10.2178/jsl/1309952530},
  doi          = {10.2178/JSL/1309952530},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanHW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CaicedoF11,
  author       = {Andr{\'{e}}s Eduardo Caicedo and
                  Sy{-}David Friedman},
  title        = {{BPFA} and projective well-orderings of the reals},
  journal      = {J. Symb. Log.},
  volume       = {76},
  number       = {4},
  pages        = {1126--1136},
  year         = {2011},
  url          = {https://doi.org/10.2178/jsl/1318338842},
  doi          = {10.2178/JSL/1318338842},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/CaicedoF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BussCFFM11,
  author       = {Sam Buss and
                  Yijia Chen and
                  J{\"{o}}rg Flum and
                  Sy{-}David Friedman and
                  Moritz M{\"{u}}ller},
  title        = {Strong isomorphism reductions in complexity theory},
  journal      = {J. Symb. Log.},
  volume       = {76},
  number       = {4},
  pages        = {1381--1402},
  year         = {2011},
  url          = {https://doi.org/10.2178/jsl/1318338855},
  doi          = {10.2178/JSL/1318338855},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BussCFFM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FriedmanK11,
  author       = {Sy{-}David Friedman and
                  Martin Koerwien},
  title        = {On Absoluteness of Categoricity in Abstract Elementary Classes},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {52},
  number       = {4},
  pages        = {395--402},
  year         = {2011},
  url          = {https://doi.org/10.1215/00294527-1499354},
  doi          = {10.1215/00294527-1499354},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/FriedmanK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FokinaFT10,
  author       = {Ekaterina B. Fokina and
                  Sy{-}David Friedman and
                  Asger T{\"{o}}rnquist},
  title        = {The effective theory of Borel equivalence relations},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {161},
  number       = {7},
  pages        = {837--850},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.apal.2009.10.002},
  doi          = {10.1016/J.APAL.2009.10.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FokinaFT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FischerF10,
  author       = {Vera Fischer and
                  Sy{-}David Friedman},
  title        = {Cardinal characteristics and projective wellorders},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {161},
  number       = {7},
  pages        = {916--922},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.apal.2009.11.003},
  doi          = {10.1016/J.APAL.2009.11.003},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FischerF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanZ10,
  author       = {Sy{-}David Friedman and
                  Lyubomyr Zdomskyy},
  title        = {Projective mad families},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {161},
  number       = {12},
  pages        = {1581--1587},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.apal.2010.06.007},
  doi          = {10.1016/J.APAL.2010.06.007},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AsperoF09,
  author       = {David Asper{\'{o}} and
                  Sy D. Friedman},
  title        = {Large cardinals and locally defined well-orders of the universe},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {157},
  number       = {1},
  pages        = {1--15},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.apal.2008.07.006},
  doi          = {10.1016/J.APAL.2008.07.006},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/AsperoF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Brooke-TaylorF09,
  author       = {Andrew D. Brooke{-}Taylor and
                  Sy{-}David Friedman},
  title        = {Large cardinals and gap-1 morasses},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {159},
  number       = {1-2},
  pages        = {71--99},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.apal.2008.10.007},
  doi          = {10.1016/J.APAL.2008.10.007},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Brooke-TaylorF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanT09,
  author       = {Sy{-}David Friedman and
                  Katherine Thompson},
  title        = {An inner model for global domination},
  journal      = {J. Symb. Log.},
  volume       = {74},
  number       = {1},
  pages        = {251--264},
  year         = {2009},
  url          = {https://doi.org/10.2178/jsl/1231082311},
  doi          = {10.2178/JSL/1231082311},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanM09,
  author       = {Sy{-}David Friedman and
                  Menachem Magidor},
  title        = {The number of normal measures},
  journal      = {J. Symb. Log.},
  volume       = {74},
  number       = {3},
  pages        = {1069--1080},
  year         = {2009},
  url          = {https://doi.org/10.2178/jsl/1245158100},
  doi          = {10.2178/JSL/1245158100},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FokinaF09,
  author       = {Ekaterina B. Fokina and
                  Sy{-}David Friedman},
  editor       = {Klaus Ambos{-}Spies and
                  Benedikt L{\"{o}}we and
                  Wolfgang Merkle},
  title        = {Equivalence Relations on Classes of Computable Structures},
  booktitle    = {Mathematical Theory and Computational Practice, 5th Conference on
                  Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5635},
  pages        = {198--207},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03073-4\_21},
  doi          = {10.1007/978-3-642-03073-4\_21},
  timestamp    = {Sun, 02 Jun 2019 21:17:54 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/FokinaF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DobrinenF08,
  author       = {Natasha Dobrinen and
                  Sy D. Friedman},
  title        = {Homogeneous iteration and measure one covering relative to {HOD}},
  journal      = {Arch. Math. Log.},
  volume       = {47},
  number       = {7-8},
  pages        = {711--718},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00153-008-0103-5},
  doi          = {10.1007/S00153-008-0103-5},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/DobrinenF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanH08,
  author       = {Sy D. Friedman and
                  Radek Honzik},
  title        = {Easton's theorem and large cardinals},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {154},
  number       = {3},
  pages        = {191--208},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.02.001},
  doi          = {10.1016/J.APAL.2008.02.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanO08,
  author       = {Sy{-}David Friedman and
                  Pavel Ondrejovic},
  title        = {The internal consistency of Easton's theorem},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {156},
  number       = {2-3},
  pages        = {259--269},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2008.06.017},
  doi          = {10.1016/J.APAL.2008.06.017},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanWW08,
  author       = {Sy{-}David Friedman and
                  Philip D. Welch and
                  W. Hugh Woodin},
  title        = {On the consistency strength of the inner model hypothesis},
  journal      = {J. Symb. Log.},
  volume       = {73},
  number       = {2},
  pages        = {391--400},
  year         = {2008},
  url          = {https://doi.org/10.2178/jsl/1208359050},
  doi          = {10.2178/JSL/1208359050},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanWW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DobrinenF08,
  author       = {Natasha Dobrinen and
                  Sy{-}David Friedman},
  title        = {Internal consistency and global co-stationarity of the ground model},
  journal      = {J. Symb. Log.},
  volume       = {73},
  number       = {2},
  pages        = {512--521},
  year         = {2008},
  url          = {https://doi.org/10.2178/jsl/1208359057},
  doi          = {10.2178/JSL/1208359057},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/DobrinenF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanT08,
  author       = {Sy{-}David Friedman and
                  Katherine Thompson},
  title        = {Internal consistency for embedding complexity},
  journal      = {J. Symb. Log.},
  volume       = {73},
  number       = {3},
  pages        = {831--844},
  year         = {2008},
  url          = {https://doi.org/10.2178/jsl/1230396750},
  doi          = {10.2178/JSL/1230396750},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanT08a,
  author       = {Sy{-}David Friedman and
                  Katherine Thompson},
  title        = {Perfect trees and elementary embeddings},
  journal      = {J. Symb. Log.},
  volume       = {73},
  number       = {3},
  pages        = {906--918},
  year         = {2008},
  url          = {https://doi.org/10.2178/jsl/1230396754},
  doi          = {10.2178/JSL/1230396754},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanT08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CummingsF08,
  author       = {James Cummings and
                  Sy{-}David Friedman},
  title        = {on the singular cardinals},
  journal      = {J. Symb. Log.},
  volume       = {73},
  number       = {4},
  pages        = {1307--1314},
  year         = {2008},
  url          = {https://doi.org/10.2178/jsl/1230396920},
  doi          = {10.2178/JSL/1230396920},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/CummingsF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Friedman06,
  author       = {Sy{-}David Friedman},
  title        = {Internal Consistency and the Inner Model Hypothesis},
  journal      = {Bull. Symb. Log.},
  volume       = {12},
  number       = {4},
  pages        = {591--600},
  year         = {2006},
  url          = {https://doi.org/10.2178/bsl/1164056808},
  doi          = {10.2178/BSL/1164056808},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Friedman06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanKP06,
  author       = {Sy{-}David Friedman and
                  Peter Koepke and
                  Boris Piwinger},
  title        = {Hyperfine structure theory and gap 1 morasses},
  journal      = {J. Symb. Log.},
  volume       = {71},
  number       = {2},
  pages        = {480--490},
  year         = {2006},
  url          = {https://doi.org/10.2178/jsl/1146620154},
  doi          = {10.2178/JSL/1146620154},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanKP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DobrinenF06,
  author       = {Natasha Dobrinen and
                  Sy{-}David Friedman},
  title        = {Co-stationarity of the ground model},
  journal      = {J. Symb. Log.},
  volume       = {71},
  number       = {3},
  pages        = {1029--1043},
  year         = {2006},
  url          = {https://doi.org/10.2178/jsl/1154698589},
  doi          = {10.2178/JSL/1154698589},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/DobrinenF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/Friedman05,
  author       = {Sy D. Friedman},
  title        = {Genericity and Large Cardinals},
  journal      = {J. Math. Log.},
  volume       = {5},
  number       = {2},
  year         = {2005},
  url          = {https://doi.org/10.1142/S0219061305000420},
  doi          = {10.1142/S0219061305000420},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jml/Friedman05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Friedman05,
  author       = {Sy D. Friedman},
  title        = {Definability degrees},
  journal      = {Math. Log. Q.},
  volume       = {51},
  number       = {5},
  pages        = {448--449},
  year         = {2005},
  url          = {https://doi.org/10.1002/malq.200510002},
  doi          = {10.1002/MALQ.200510002},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Friedman05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman04,
  author       = {Sy D. Friedman},
  title        = {Generic Sigma\({}^{\mbox{1}}\)\({}_{\mbox{3}}\) absoluteness},
  journal      = {J. Symb. Log.},
  volume       = {69},
  number       = {1},
  pages        = {73--80},
  year         = {2004},
  url          = {https://doi.org/10.2178/jsl/1080938826},
  doi          = {10.2178/JSL/1080938826},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanHR03,
  author       = {Sy D. Friedman and
                  Tapani Hyttinen and
                  Mika Rautila},
  title        = {Classification theory and 0\({}^{\mbox{{\#}}}\)},
  journal      = {J. Symb. Log.},
  volume       = {68},
  number       = {2},
  pages        = {580--588},
  year         = {2003},
  url          = {https://doi.org/10.2178/jsl/1052669064},
  doi          = {10.2178/JSL/1052669064},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanHR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanS03,
  author       = {Sy D. Friedman and
                  Ralf Schindler},
  title        = {Universally Baire sets and definable well-orderings of the reals},
  journal      = {J. Symb. Log.},
  volume       = {68},
  number       = {4},
  pages        = {1065--1081},
  year         = {2003},
  url          = {https://doi.org/10.2178/jsl/1067620173},
  doi          = {10.2178/JSL/1067620173},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/FriedmanS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman03,
  author       = {Sy D. Friedman},
  title        = {Cardinal-preserving extensions},
  journal      = {J. Symb. Log.},
  volume       = {68},
  number       = {4},
  pages        = {1163--1170},
  year         = {2003},
  url          = {https://doi.org/10.2178/jsl/1067620178},
  doi          = {10.2178/JSL/1067620178},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman02,
  author       = {Sy D. Friedman},
  title        = {0\({}^{\mbox{{\#}}}\) and Inner Models},
  journal      = {J. Symb. Log.},
  volume       = {67},
  number       = {3},
  pages        = {924--932},
  year         = {2002},
  url          = {https://doi.org/10.2178/jsl/1190150140},
  doi          = {10.2178/JSL/1190150140},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BagariaF01,
  author       = {Joan Bagaria and
                  Sy D. Friedman},
  title        = {Generic absoluteness},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {108},
  number       = {1-3},
  pages        = {3--13},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0168-0072(00)00038-5},
  doi          = {10.1016/S0168-0072(00)00038-5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/BagariaF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/99/ChongF99,
  author       = {C. T. Chong and
                  Sy D. Friedman},
  editor       = {Edward R. Griffor},
  title        = {Ordinal Recursion Theory},
  booktitle    = {Handbook of Computability Theory},
  series       = {Studies in Logic and the Foundations of Mathematics},
  volume       = {140},
  pages        = {277--299},
  publisher    = {North-Holland},
  year         = {1999},
  url          = {https://doi.org/10.1016/s0049-237x(99)80025-1},
  doi          = {10.1016/S0049-237X(99)80025-1},
  timestamp    = {Thu, 14 May 2020 15:29:16 +0200},
  biburl       = {https://dblp.org/rec/books/el/99/ChongF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman98,
  author       = {Sy D. Friedman},
  title        = {Generic Saturation},
  journal      = {J. Symb. Log.},
  volume       = {63},
  number       = {1},
  pages        = {158--162},
  year         = {1998},
  url          = {https://doi.org/10.2307/2586594},
  doi          = {10.2307/2586594},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FriedmanV97,
  author       = {Sy D. Friedman and
                  Boban Velickovic},
  title        = {Delta\({}_{\mbox{1}}\)-Definability},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {89},
  number       = {1},
  pages        = {93--99},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00023-1},
  doi          = {10.1016/S0168-0072(96)00023-1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/FriedmanV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/FriedmanK97,
  author       = {Sy D. Friedman and
                  Peter Koepke},
  title        = {An elementary approach to the fine structure of {L}},
  journal      = {Bull. Symb. Log.},
  volume       = {3},
  number       = {4},
  pages        = {453--468},
  year         = {1997},
  url          = {https://doi.org/10.2307/421099},
  doi          = {10.2307/421099},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/FriedmanK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman97,
  author       = {Sy D. Friedman},
  title        = {Coding without Fine Structure},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {808--815},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275573},
  doi          = {10.2307/2275573},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Friedman94,
  author       = {Sy D. Friedman},
  title        = {A Simpler proof of Jensen's Coding Theorem},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {70},
  number       = {1},
  pages        = {1--16},
  year         = {1994},
  url          = {https://doi.org/10.1016/0168-0072(94)90067-1},
  doi          = {10.1016/0168-0072(94)90067-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman94,
  author       = {Sy D. Friedman},
  title        = {The Genericity Conjecture},
  journal      = {J. Symb. Log.},
  volume       = {59},
  number       = {2},
  pages        = {606--614},
  year         = {1994},
  url          = {https://doi.org/10.2307/2275412},
  doi          = {10.2307/2275412},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman94a,
  author       = {Sy D. Friedman},
  title        = {Jensen's Sigma\({}^{\mbox{*}}\) Theory and the Combinatorial Content
                  of V=L},
  journal      = {J. Symb. Log.},
  volume       = {59},
  number       = {3},
  pages        = {1096--1104},
  year         = {1994},
  url          = {https://doi.org/10.2307/2275930},
  doi          = {10.2307/2275930},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Friedman89,
  author       = {Sy D. Friedman},
  title        = {Minimal Coding},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {41},
  number       = {3},
  pages        = {233--297},
  year         = {1989},
  url          = {https://doi.org/10.1016/0168-0072(89)90002-X},
  doi          = {10.1016/0168-0072(89)90002-X},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman89,
  author       = {Sy D. Friedman},
  title        = {Coding Over a Measurable Cardinal},
  journal      = {J. Symb. Log.},
  volume       = {54},
  number       = {4},
  pages        = {1145--1159},
  year         = {1989},
  url          = {https://doi.org/10.1017/S0022481200041049},
  doi          = {10.1017/S0022481200041049},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Friedman87,
  author       = {Sy D. Friedman},
  title        = {Strong coding},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {1--3},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90057-1},
  doi          = {10.1016/0168-0072(87)90057-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Friedman87a,
  author       = {Sy D. Friedman},
  title        = {A guide to "strong coding"},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {35},
  pages        = {99--122},
  year         = {1987},
  url          = {https://doi.org/10.1016/0168-0072(87)90058-3},
  doi          = {10.1016/0168-0072(87)90058-3},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman87a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman85,
  author       = {Sy D. Friedman},
  title        = {A Guide to "Coding the Universe" by Beller, Jensen, Welch},
  journal      = {J. Symb. Log.},
  volume       = {50},
  number       = {4},
  pages        = {1002--1019},
  year         = {1985},
  url          = {https://doi.org/10.2307/2273986},
  doi          = {10.2307/2273986},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Friedman84,
  author       = {Sy D. Friedman},
  title        = {Model theory for L\({}_{\mbox{{\(\infty\)}\({}_{\mbox{{\(\omega\)}}}\)\({}_{\mbox{1}}\)}}\)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {26},
  number       = {2},
  pages        = {103--122},
  year         = {1984},
  url          = {https://doi.org/10.1016/0168-0072(84)90012-5},
  doi          = {10.1016/0168-0072(84)90012-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BoolosF84,
  author       = {George Boolos and
                  Sy D. Friedman},
  title        = {Annual Meeting of the Association for Symbolic Logic: Boston 1983},
  journal      = {J. Symb. Log.},
  volume       = {49},
  number       = {4},
  pages        = {1441--1449},
  year         = {1984},
  url          = {https://doi.org/10.2307/2274306},
  doi          = {10.2307/2274306},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BoolosF84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChongF83,
  author       = {C. T. Chong and
                  Sy D. Friedman},
  title        = {Degree theory on aleph\({}_{\mbox{{\(\omega\)}}}\)},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {24},
  number       = {1},
  pages        = {87--97},
  year         = {1983},
  url          = {https://doi.org/10.1016/0168-0072(83)90040-4},
  doi          = {10.1016/0168-0072(83)90040-4},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/ChongF83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman83,
  author       = {Sy D. Friedman},
  title        = {Some Recent Developments in Higher Recursion Theory},
  journal      = {J. Symb. Log.},
  volume       = {48},
  number       = {3},
  pages        = {629--642},
  year         = {1983},
  url          = {https://doi.org/10.2307/2273455},
  doi          = {10.2307/2273455},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Friedman82,
  author       = {Sy D. Friedman},
  title        = {Steel forcing and barwise compactness},
  journal      = {Ann. Math. Log.},
  volume       = {22},
  number       = {1},
  pages        = {31--46},
  year         = {1982},
  url          = {https://doi.org/10.1016/0003-4843(82)90014-6},
  doi          = {10.1016/0003-4843(82)90014-6},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/Friedman82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BoolosFH81,
  author       = {George Boolos and
                  Sy D. Friedman and
                  Harold Hodes},
  title        = {Meeting of the Association for Symbolic Logic: New York 1979},
  journal      = {J. Symb. Log.},
  volume       = {46},
  number       = {2},
  pages        = {427--434},
  year         = {1981},
  url          = {https://doi.org/10.2307/2273640},
  doi          = {10.2307/2273640},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BoolosFH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman79,
  author       = {Sy D. Friedman},
  title        = {{HC} of an Admissible Set},
  journal      = {J. Symb. Log.},
  volume       = {44},
  number       = {1},
  pages        = {95--102},
  year         = {1979},
  url          = {https://doi.org/10.2307/2273707},
  doi          = {10.2307/2273707},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Friedman79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics