%0 Journal Article %1 journals/jsyml/FriedmanH16 %A Friedman, Sy-David %A Honzik, Radek %D 2016 %J J. Symb. Log. %K dblp %N 3 %P 1047-1068 %T Definability of Satisfaction in outer Models. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml81.html#FriedmanH16 %V 81

@article{journals/jsyml/FriedmanH16, added-at = {2018-11-30T00:00:00.000+0100}, author = {Friedman, Sy-David and Honzik, Radek}, biburl = {https://www.bibsonomy.org/bibtex/28d6141fb4eb0a0751361d1cc04dfdb97/dblp}, ee = {https://doi.org/10.1017/jsl.2016.33}, interhash = {98053aa6ada08c961bd90d117f36cd2d}, intrahash = {8d6141fb4eb0a0751361d1cc04dfdb97}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {1047-1068}, timestamp = {2018-12-01T12:15:30.000+0100}, title = {Definability of Satisfaction in outer Models.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml81.html#FriedmanH16}, volume = 81, year = 2016 }