Search dblp for Publications

export results for "toc:db/journals/bsl/bsl2.bht:"

 download as .bib file

@article{DBLP:journals/bsl/Chapuis96,
  author       = {Olivier Chapuis},
  title        = {From "metabelian Q-vector spaces" to new infinity-stable groups},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {1},
  pages        = {84--93},
  year         = {1996},
  url          = {https://doi.org/10.2307/421048},
  doi          = {10.2307/421048},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Chapuis96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Dehornoy96,
  author       = {Patrick Dehornoy},
  title        = {Another use of set theory},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {4},
  pages        = {379--391},
  year         = {1996},
  url          = {https://doi.org/10.2307/421170},
  doi          = {10.2307/421170},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Dehornoy96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Dosen96,
  author       = {Kosta Dosen},
  title        = {Deductive completeness},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {3},
  pages        = {243--283},
  year         = {1996},
  url          = {https://doi.org/10.2307/420991},
  doi          = {10.2307/420991},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Dosen96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/HarringtonS96,
  author       = {Leo Harrington and
                  Robert I. Soare},
  title        = {Definability, automorphisms, and dynamic properties of computably
                  enumerable sets},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {2},
  pages        = {199--213},
  year         = {1996},
  url          = {https://doi.org/10.2307/421110},
  doi          = {10.2307/421110},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/HarringtonS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/HellaKL96,
  author       = {Lauri Hella and
                  Phokion G. Kolaitis and
                  Kerkko Luosto},
  title        = {Almost everywhere equivalence of logics in finite model theory},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {4},
  pages        = {422--443},
  year         = {1996},
  url          = {https://doi.org/10.2307/421173},
  doi          = {10.2307/421173},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/HellaKL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Henkin96,
  author       = {Leon Henkin},
  title        = {The discovery of my completeness proofs},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {2},
  pages        = {127--158},
  year         = {1996},
  url          = {https://doi.org/10.2307/421107},
  doi          = {10.2307/421107},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Henkin96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Hjorth96,
  author       = {Greg Hjorth},
  title        = {Two applications of inner model theory to the study of Sigma\({}^{\mbox{1}}\)\({}_{\mbox{2}}\)
                  sets},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {1},
  pages        = {94--107},
  year         = {1996},
  url          = {https://doi.org/10.2307/421049},
  doi          = {10.2307/421049},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Hjorth96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Kanamori96,
  author       = {Akihiro Kanamori},
  title        = {The mathematical development of set theory from Cantor to Cohen},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {1},
  pages        = {1--71},
  year         = {1996},
  url          = {https://doi.org/10.2307/421046},
  doi          = {10.2307/421046},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Kanamori96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Krivine96,
  author       = {Jean{-}Louis Krivine},
  title        = {Une preuve formelle et intuitionniste du th{\'{e}}or{\`{e}}me
                  de compl{\'{e}}tude de la logique classique},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {4},
  pages        = {405--421},
  year         = {1996},
  url          = {https://doi.org/10.2307/421172},
  doi          = {10.2307/421172},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Krivine96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/LincolnMS96,
  author       = {Patrick Lincoln and
                  John C. Mitchell and
                  Andre Scedrov},
  title        = {Linear logic proof games and optimization},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {3},
  pages        = {322--338},
  year         = {1996},
  url          = {https://doi.org/10.2307/420993},
  doi          = {10.2307/420993},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/LincolnMS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/NiesSS96,
  author       = {Andr{\'{e}} Nies and
                  Richard A. Shore and
                  Theodore A. Slaman},
  title        = {Definability in the recursively enumerable degrees},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {4},
  pages        = {392--404},
  year         = {1996},
  url          = {https://doi.org/10.2307/421171},
  doi          = {10.2307/421171},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/NiesSS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/PeterzilS96,
  author       = {Ya'acov Peterzil and
                  Sergei Starchenko},
  title        = {Geometry, calculus and Zil'ber's conjecture},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {1},
  pages        = {72--83},
  year         = {1996},
  url          = {https://doi.org/10.2307/421047},
  doi          = {10.2307/421047},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/PeterzilS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Pohlers96,
  author       = {Wolfram Pohlers},
  title        = {Pure proof theory, aims, methods and results},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {2},
  pages        = {159--188},
  year         = {1996},
  url          = {https://doi.org/10.2307/421108},
  doi          = {10.2307/421108},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Pohlers96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Soare96,
  author       = {Robert I. Soare},
  title        = {Computability and recursion},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {3},
  pages        = {284--321},
  year         = {1996},
  url          = {https://doi.org/10.2307/420992},
  doi          = {10.2307/420992},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Soare96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Solecki96,
  author       = {Slawomir Solecki},
  title        = {Analytic ideals},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {3},
  pages        = {339--348},
  year         = {1996},
  url          = {https://doi.org/10.2307/420994},
  doi          = {10.2307/420994},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Solecki96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Sun96,
  author       = {Yeneng Sun},
  title        = {Hyperfinite law of large numbers},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {2},
  pages        = {189--198},
  year         = {1996},
  url          = {https://doi.org/10.2307/421109},
  doi          = {10.2307/421109},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Sun96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Walukiewicz96,
  author       = {Igor Walukiewicz},
  title        = {A note on the completeness of Kozen's axiomatisation of the propositional
                  mu-calculus},
  journal      = {Bull. Symb. Log.},
  volume       = {2},
  number       = {3},
  pages        = {349--366},
  year         = {1996},
  url          = {https://doi.org/10.2307/420995},
  doi          = {10.2307/420995},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Walukiewicz96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.