Search dblp for Publications

export results for "toc:db/conf/logicColl/logicColl1995.bht:"

 download as .bib file

@proceedings{DBLP:conf/logicColl/1995,
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-662-22108-2},
  doi          = {10.1007/978-3-662-22108-2},
  isbn         = {978-3-540-63994-7},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/0001SS95,
  author       = {Istv{\'{a}}n Juh{\'{a}}sz and
                  Lajos Soukup and
                  Zolt{\'{a}}n Szentmikl{\'{o}}ssy},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Combinatorial Principles from Adding Cohen Reals},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {79--103},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_7},
  doi          = {10.1007/978-3-662-22108-2\_7},
  timestamp    = {Fri, 15 May 2020 14:19:27 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/0001SS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Becker95,
  author       = {Howard Becker},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {The Number of Path-Components of a Compact Subset of {\(\mathbb{R}\)}
                  n},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_1},
  doi          = {10.1007/978-3-662-22108-2\_1},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Becker95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/CholakDS95,
  author       = {Peter Cholak and
                  Rod Downey and
                  Richard A. Shore},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Intervals Without Critical Triples},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {17--43},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_2},
  doi          = {10.1007/978-3-662-22108-2\_2},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/CholakDS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Cooper95,
  author       = {S. Barry Cooper},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Beyond G{\"{o}}del's Theorem: Turing Nonrigidity Revisited},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {44--50},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_3},
  doi          = {10.1007/978-3-662-22108-2\_3},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Cooper95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Dawar95,
  author       = {Anuj Dawar},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Types and Indiscernibles in Finite Models},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {51--65},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_4},
  doi          = {10.1007/978-3-662-22108-2\_4},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Dawar95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Herzog95,
  author       = {Ivo Herzog},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Model Theory of Modules},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {66--72},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_5},
  doi          = {10.1007/978-3-662-22108-2\_5},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Herzog95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/HodgesN95,
  author       = {Wilfrid Hodges and
                  Andr{\'{e}} Nies},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Noninterpretability of Infinite Linear Orders},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {73--78},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_6},
  doi          = {10.1007/978-3-662-22108-2\_6},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/HodgesN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Krajicek95,
  author       = {Jan Kraj{\'{\i}}cek},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Extensions of Models of {PV}},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {104--114},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_8},
  doi          = {10.1007/978-3-662-22108-2\_8},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Krajicek95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Lynch95,
  author       = {James F. Lynch},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Convergence Laws for Random Graphs},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {115--133},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_9},
  doi          = {10.1007/978-3-662-22108-2\_9},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Lynch95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Maddy95,
  author       = {Penelope Maddy},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {V=L and Maximize},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {134--152},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_10},
  doi          = {10.1007/978-3-662-22108-2\_10},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Maddy95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Makkai95,
  author       = {Michael Makkai},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Towards a Categorical Foundation of Mathematics},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {153--190},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_11},
  doi          = {10.1007/978-3-662-22108-2\_11},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Makkai95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Marker95,
  author       = {David Marker},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Strongly Minimal Sets and Geometry},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {191--213},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_12},
  doi          = {10.1007/978-3-662-22108-2\_12},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Marker95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Micali95,
  author       = {Silvio Micali},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Computationally-Sound Proofs},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {214--268},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_13},
  doi          = {10.1007/978-3-662-22108-2\_13},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Micali95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Pentus95,
  author       = {Mati Pentus},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Lambek Calculus and Formal Languages},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {269--272},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_14},
  doi          = {10.1007/978-3-662-22108-2\_14},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Pentus95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Peterzil95,
  author       = {Ya'acov Peterzil},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Zil'ber's Trichotomy and o-minimal Structures},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {273--274},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_15},
  doi          = {10.1007/978-3-662-22108-2\_15},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Peterzil95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Rathjen95,
  author       = {Michael Rathjen},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {The Higher Infinite in Proof Theory},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {275--304},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_16},
  doi          = {10.1007/978-3-662-22108-2\_16},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Rathjen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Shelah95,
  author       = {Saharon Shelah},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {There May Be No Nowhere Dense Ultrafilter},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {305--324},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_17},
  doi          = {10.1007/978-3-662-22108-2\_17},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Shelah95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Stolboushkin95,
  author       = {Alexei P. Stolboushkin},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Towards Recursive Model Theory},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {325--338},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_18},
  doi          = {10.1007/978-3-662-22108-2\_18},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Stolboushkin95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/logicColl/Wainer95,
  author       = {Stanley S. Wainer},
  editor       = {Johann A. Makowsky and
                  Elena V. Ravve},
  title        = {Accessible Segments of the Fast Growing Hierarchy},
  booktitle    = {Proceedings of the Annual European Summer Meeting of the Association
                  of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
                  1995},
  series       = {Lecture Notes in Logic},
  volume       = {11},
  pages        = {339--348},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-3-662-22108-2\_19},
  doi          = {10.1007/978-3-662-22108-2\_19},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/logicColl/Wainer95.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.