Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sy-David Friedman
@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} }
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.