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    = {Sun, 19 Jan 2025 00:00:00 +0100},
  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}
}

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.