default search action
Search dblp for Publications
export results for "toc:db/journals/apal/apal106.bht:"
@article{DBLP:journals/apal/Ambos-SpiesHS00, author = {Klaus Ambos{-}Spies and Denis R. Hirschfeldt and Richard A. Shore}, title = {Undecidability and 1-types in intervals of the computably enumerable degrees}, journal = {Ann. Pure Appl. Log.}, volume = {106}, number = {1-3}, pages = {1--47}, year = {2000}, url = {https://doi.org/10.1016/S0168-0072(99)00011-1}, doi = {10.1016/S0168-0072(99)00011-1}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Ambos-SpiesHS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/HodkinsonWZ00, author = {Ian M. Hodkinson and Frank Wolter and Michael Zakharyaschev}, title = {Decidable fragment of first-order temporal logics}, journal = {Ann. Pure Appl. Log.}, volume = {106}, number = {1-3}, pages = {85--134}, year = {2000}, url = {https://doi.org/10.1016/S0168-0072(00)00018-X}, doi = {10.1016/S0168-0072(00)00018-X}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/HodkinsonWZ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KikyoP00, author = {Hirotaka Kikyo and Anand Pillay}, title = {The definable multiplicity property and generic automorphisms}, journal = {Ann. Pure Appl. Log.}, volume = {106}, number = {1-3}, pages = {263--273}, year = {2000}, url = {https://doi.org/10.1016/S0168-0072(00)00024-5}, doi = {10.1016/S0168-0072(00)00024-5}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/KikyoP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Larson00, author = {Paul B. Larson}, title = {Martin's Maximum and the P\({}_{\mbox{max}}\)axiom(*)}, journal = {Ann. Pure Appl. Log.}, volume = {106}, number = {1-3}, pages = {135--149}, year = {2000}, url = {https://doi.org/10.1016/S0168-0072(00)00020-8}, doi = {10.1016/S0168-0072(00)00020-8}, timestamp = {Wed, 17 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/Larson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Lessmann00, author = {Olivier Lessmann}, title = {Ranks and pregeometries in finite diagrams}, journal = {Ann. Pure Appl. Log.}, volume = {106}, number = {1-3}, pages = {49--82}, year = {2000}, url = {https://doi.org/10.1016/S0168-0072(99)00045-7}, doi = {10.1016/S0168-0072(99)00045-7}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Lessmann00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/MildenbergerS00, author = {Heike Mildenberger and Saharon Shelah}, title = {Changing cardinal characteristics without changing Omega-sequences or cofinalities}, journal = {Ann. Pure Appl. Log.}, volume = {106}, number = {1-3}, pages = {207--260}, year = {2000}, url = {https://doi.org/10.1016/S0168-0072(00)00026-9}, doi = {10.1016/S0168-0072(00)00026-9}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/MildenbergerS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Neeman00, author = {Itay Neeman}, title = {Unraveling Pi\({}^{\mbox{1}}\)\({}_{\mbox{1}}\)}, journal = {Ann. Pure Appl. Log.}, volume = {106}, number = {1-3}, pages = {151--205}, year = {2000}, url = {https://doi.org/10.1016/S0168-0072(00)00022-1}, doi = {10.1016/S0168-0072(00)00022-1}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Neeman00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Tzouvaras00, author = {Athanassios Tzouvaras}, title = {Notions of symmetry n set theory with classes}, journal = {Ann. Pure Appl. Log.}, volume = {106}, number = {1-3}, pages = {275--295}, year = {2000}, url = {https://doi.org/10.1016/S0168-0072(00)00028-2}, doi = {10.1016/S0168-0072(00)00028-2}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Tzouvaras00.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.