default search action
Search dblp for Publications
export results for "toc:db/journals/bsl/bsl6.bht:"
@article{DBLP:journals/bsl/Bars00, author = {Jean{-}Marie Le Bars}, title = {Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview}, journal = {Bull. Symb. Log.}, volume = {6}, number = {1}, pages = {67--82}, year = {2000}, url = {https://doi.org/10.2307/421076}, doi = {10.2307/421076}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Bars00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/CholakH00, author = {Peter Cholak and Leo Harrington}, title = {Definable encodings in the computably enumerable sets}, journal = {Bull. Symb. Log.}, volume = {6}, number = {2}, pages = {185--196}, year = {2000}, url = {https://doi.org/10.2307/421206}, doi = {10.2307/421206}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/CholakH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Dalen00, author = {Dirk van Dalen}, title = {Brouwer and Fraenkel on intuitionism}, journal = {Bull. Symb. Log.}, volume = {6}, number = {3}, pages = {284--310}, year = {2000}, url = {https://doi.org/10.2307/421057}, doi = {10.2307/421057}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Dalen00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/DalenE00, author = {Dirk van Dalen and Heinz{-}Dieter Ebbinghaus}, title = {Zermelo and the Skolem paradox}, journal = {Bull. Symb. Log.}, volume = {6}, number = {2}, pages = {145--161}, year = {2000}, url = {https://doi.org/10.2307/421203}, doi = {10.2307/421203}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/DalenE00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/DeutschEL00, author = {David Deutsch and Artur Ekert and Rossella Lupacchini}, title = {Machines, logic and quantum physics}, journal = {Bull. Symb. Log.}, volume = {6}, number = {3}, pages = {265--283}, year = {2000}, url = {https://doi.org/10.2307/421056}, doi = {10.2307/421056}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/DeutschEL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/FefermanFMS00, author = {Solomon Feferman and Harvey M. Friedman and Penelope Maddy and John R. Steel}, title = {Does mathematics need new axioms?}, journal = {Bull. Symb. Log.}, volume = {6}, number = {4}, pages = {401--446}, year = {2000}, url = {https://doi.org/10.2307/420965}, doi = {10.2307/420965}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/FefermanFMS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Franchella00, author = {Miriam Franchella}, title = {Towards a re-evaluation of Julius K{\"{o}}onig's contribution to logic}, journal = {Bull. Symb. Log.}, volume = {6}, number = {1}, pages = {45--66}, year = {2000}, url = {https://doi.org/10.2307/421075}, doi = {10.2307/421075}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Franchella00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Hansson00, author = {Sven Ove Hansson}, title = {Formalization in philosophy}, journal = {Bull. Symb. Log.}, volume = {6}, number = {2}, pages = {162--175}, year = {2000}, url = {https://doi.org/10.2307/421204}, doi = {10.2307/421204}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Hansson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Hirschfeldt00, author = {Denis R. Hirschfeldt}, title = {Degree spectra of relations on computable structures}, journal = {Bull. Symb. Log.}, volume = {6}, number = {2}, pages = {197--212}, year = {2000}, url = {https://doi.org/10.2307/421207}, doi = {10.2307/421207}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Hirschfeldt00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Jin00, author = {Renling Jin}, title = {Applications of nonstandard analysis in additive number theory}, journal = {Bull. Symb. Log.}, volume = {6}, number = {3}, pages = {331--341}, year = {2000}, url = {https://doi.org/10.2307/421059}, doi = {10.2307/421059}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Jin00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/KrajicekS00, author = {Jan Kraj{\'{\i}}cek and Thomas Scanlon}, title = {Combinatorics with definable sets: Euler characteristics and Grothendieck rings}, journal = {Bull. Symb. Log.}, volume = {6}, number = {3}, pages = {311--330}, year = {2000}, url = {https://doi.org/10.2307/421058}, doi = {10.2307/421058}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/KrajicekS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Otto00, author = {Martin Otto}, title = {An interpolation theorem}, journal = {Bull. Symb. Log.}, volume = {6}, number = {4}, pages = {447--462}, year = {2000}, url = {https://doi.org/10.2307/420966}, doi = {10.2307/420966}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Otto00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Schindler00, author = {Ralf{-}Dieter Schindler}, title = {Proper forcing and remarkable cardinals}, journal = {Bull. Symb. Log.}, volume = {6}, number = {2}, pages = {176--184}, year = {2000}, url = {https://doi.org/10.2307/421205}, doi = {10.2307/421205}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Schindler00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Sinaceur00, author = {Hourya Sinaceur}, title = {Address at the Princeton University bicentennial conference on problems of mathematics (December 17-19, 1946), by Alfred Tarski}, journal = {Bull. Symb. Log.}, volume = {6}, number = {1}, pages = {1--44}, year = {2000}, url = {https://doi.org/10.2307/421074}, doi = {10.2307/421074}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Sinaceur00.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.