Search dblp for Publications

export results for "toc:db/journals/aml/aml28.bht:"

 download as .bib file

@article{DBLP:journals/aml/Bellissima89,
  author       = {Fabio Bellissima},
  title        = {Two classes of intermediate propositional logics without disjunction
                  property},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {1},
  pages        = {23--33},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01624080},
  doi          = {10.1007/BF01624080},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Bellissima89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Burger89,
  author       = {Gerd B{\"{u}}rger},
  title        = {The\emph{L}\({}^{\mbox{{\textless}{\(\omega\)}}}\)-theory of the class
                  of Archimedian real closed fields},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {3},
  pages        = {155--166},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01622875},
  doi          = {10.1007/BF01622875},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Burger89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/DanosR89,
  author       = {Vincent Danos and
                  Laurent Regnier},
  title        = {The structure of multiplicatives},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {3},
  pages        = {181--203},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01622878},
  doi          = {10.1007/BF01622878},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/DanosR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Dimitracopoulos89,
  author       = {Costas Dimitracopoulos},
  title        = {Overspill and fragments of arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {3},
  pages        = {173--179},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01622877},
  doi          = {10.1007/BF01622877},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Dimitracopoulos89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Feuerstein89,
  author       = {Switgard Feuerstein},
  title        = {Quantifier elimination for Stone algebras},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {2},
  pages        = {75--89},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01633983},
  doi          = {10.1007/BF01633983},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Feuerstein89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GitikS89,
  author       = {Moti Gitik and
                  Saharon Shelah},
  title        = {On certain indestructibility of strong cardinals and a question of
                  Hajnal},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {1},
  pages        = {35--42},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01624081},
  doi          = {10.1007/BF01624081},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/GitikS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Koepke89,
  author       = {Peter Koepke},
  title        = {On the free subset property at singular cardinals},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {1},
  pages        = {43--55},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01624082},
  doi          = {10.1007/BF01624082},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Koepke89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Koepke89a,
  author       = {Peter Koepke},
  title        = {On the elimination of Malitz quantifiers over Archimedian real closed
                  fields},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {3},
  pages        = {167--171},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01622876},
  doi          = {10.1007/BF01622876},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Koepke89a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/KrajicekP89,
  author       = {Jan Kraj{\'{\i}}cek and
                  Pavel Pudl{\'{a}}k},
  title        = {On the structure of initial segments of models of arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {2},
  pages        = {91--98},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01633984},
  doi          = {10.1007/BF01633984},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/KrajicekP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pappinghaus89,
  author       = {Peter P{\"{a}}ppinghaus},
  title        = {Rekursion {\"{u}}ber Dilatoren und die Bachmann-Hierarchie},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {1},
  pages        = {57--73},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01624083},
  doi          = {10.1007/BF01624083},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Pappinghaus89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pappinghaus89a,
  author       = {Peter P{\"{a}}ppinghaus},
  title        = {Ptykes in G{\"{o}}dels\emph{T} und Definierbarkeit von Ordinalzahlen},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {2},
  pages        = {119--141},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01633986},
  doi          = {10.1007/BF01633986},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Pappinghaus89a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Ressayre89,
  author       = {Jean{-}Pierre Ressayre},
  title        = {\emph{{\(\Pi\)}}\({}_{\mbox{2}}\)\({}^{\mbox{1}}\)-Logic and uniformization
                  in the analytical hierarchy},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {2},
  pages        = {99--117},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01633985},
  doi          = {10.1007/BF01633985},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Ressayre89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sami89,
  author       = {Ramez L. Sami},
  title        = {Turing determinacy and the continuum hypothesis},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {3},
  pages        = {149--154},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01622874},
  doi          = {10.1007/BF01622874},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sami89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ShelahT89,
  author       = {Saharon Shelah and
                  Simon Thomas},
  title        = {Homogeneity of infinite permutation groups},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {2},
  pages        = {143--147},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01633987},
  doi          = {10.1007/BF01633987},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/ShelahT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Smorynski89,
  author       = {Craig Smorynski},
  title        = {Arithmetic analogues of McAloon's unique Rosser sentences},
  journal      = {Arch. Math. Log.},
  volume       = {28},
  number       = {1},
  pages        = {1--21},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01624079},
  doi          = {10.1007/BF01624079},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Smorynski89.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.