Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/aml/Dekker90,
  author       = {J. C. E. Dekker},
  title        = {An isolic generalization of Cauchy's theorem for finite groups},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {4},
  pages        = {231--236},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01651326},
  doi          = {10.1007/BF01651326},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Dekker90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Gradel90,
  author       = {Erich Gr{\"{a}}del},
  title        = {Satisfiability of formulae with one {\(\forall\)} is decidable in
                  exponential time},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {4},
  pages        = {265--276},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01651329},
  doi          = {10.1007/BF01651329},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Gradel90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Lachlan90,
  author       = {Alistair H. Lachlan},
  title        = {Some coinductive graphs},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {4},
  pages        = {213--229},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01651325},
  doi          = {10.1007/BF01651325},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Lachlan90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Leary90a,
  author       = {Christopher C. Leary},
  title        = {Superstationary and ineffable\({}^{\mbox{\emph{n}}}\) cardinals},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {3},
  pages        = {137--148},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621091},
  doi          = {10.1007/BF01621091},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Leary90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Rathjen90,
  author       = {Michael Rathjen},
  title        = {Ordinal notations based on a weakly Mahlo cardinal},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {4},
  pages        = {249--263},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01651328},
  doi          = {10.1007/BF01651328},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Rathjen90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ShoreS90,
  author       = {Richard A. Shore and
                  Theodore A. Slaman},
  title        = {Working below a low\({}_{\mbox{2}}\) recursively enumerably degree},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {3},
  pages        = {201--211},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621095},
  doi          = {10.1007/BF01621095},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/ShoreS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Soskov90,
  author       = {Ivan N. Soskov},
  title        = {Computability by means of effectively definable schemes and definability
                  via enumerations},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {3},
  pages        = {187--200},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621094},
  doi          = {10.1007/BF01621094},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Soskov90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Takeuti90,
  author       = {Gaisi Takeuti},
  title        = {\emph{S}\({}_{\mbox{3}}\)\({}^{\mbox{\emph{i}}}\) and\emph{V}\({}_{\mbox{2}}\)\({}^{\mbox{\emph{i}}}\)(BD)},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {3},
  pages        = {149--169},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621092},
  doi          = {10.1007/BF01621092},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Takeuti90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/VeldmanJ90,
  author       = {Wim Veldman and
                  Michael Janssen},
  title        = {Some observations on intuitionistically elementary properties of linear
                  orderings},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {3},
  pages        = {171--185},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621093},
  doi          = {10.1007/BF01621093},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/VeldmanJ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Weispfenning90,
  author       = {Volker Weispfenning},
  title        = {Existential equivalence of ordered abelian groups with parameters},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {4},
  pages        = {237--248},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01651327},
  doi          = {10.1007/BF01651327},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Weispfenning90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Abrusci89,
  author       = {V. Michele Abrusci},
  title        = {Some uses of dilators in combinatorial problems - Part {III.} Independence
                  results by means of decreasing\emph{F}-sequences (\emph{F} Weakly
                  Finite Dilator)},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {2},
  pages        = {85--109},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01620619},
  doi          = {10.1007/BF01620619},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Abrusci89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BeigelGH89,
  author       = {Richard Beigel and
                  William I. Gasarch and
                  Louise Hay},
  title        = {Bounded query classes and the difference hierarchy},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {2},
  pages        = {69--84},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01620618},
  doi          = {10.1007/BF01620618},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BeigelGH89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Clote89,
  author       = {Peter Clote},
  title        = {The metamathematics of scattered linear orderings},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {1},
  pages        = {9--20},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01630807},
  doi          = {10.1007/BF01630807},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Clote89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CorsiG89,
  author       = {Giovanna Corsi and
                  Silvio Ghilardi},
  title        = {Directed frames},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {1},
  pages        = {53--67},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01630811},
  doi          = {10.1007/BF01630811},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/CorsiG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Ghilardi89,
  author       = {Silvio Ghilardi},
  title        = {Presheaf semantics and independence results for some non-classical
                  first-order logics},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {2},
  pages        = {125--136},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01620621},
  doi          = {10.1007/BF01620621},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Ghilardi89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Gordeev89,
  author       = {Lev Gordeev},
  title        = {Systems of iterated projective ordinal notations and combinatorial
                  statements about binary labeled trees},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {1},
  pages        = {29--46},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01630809},
  doi          = {10.1007/BF01630809},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Gordeev89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Hatzikiriakou89,
  author       = {Kostas Hatzikiriakou},
  title        = {Algebraic disguises of\emph{{\(\Sigma\)}}\({}_{\mbox{1}}\)\({}^{\mbox{0}}\)
                  induction},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {1},
  pages        = {47--51},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01630810},
  doi          = {10.1007/BF01630810},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Hatzikiriakou89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kamburelis89,
  author       = {Anastasis Kamburelis},
  title        = {Iterations of Boolean algebras with measure},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {1},
  pages        = {21--28},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01630808},
  doi          = {10.1007/BF01630808},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Kamburelis89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pillay89,
  author       = {Anand Pillay},
  title        = {On fields definable in\emph{Q}\({}_{\mbox{\emph{p}}}\)},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {1},
  pages        = {1--7},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01630806},
  doi          = {10.1007/BF01630806},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Pillay89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Rautenberg89,
  author       = {Wolfgang Rautenberg},
  title        = {Axiomatization of semigroup consequences},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {2},
  pages        = {111--123},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01620620},
  doi          = {10.1007/BF01620620},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Rautenberg89.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.