Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/aml/Buchholz91,
  author       = {Wilfried Buchholz},
  title        = {Notation systems for infinitary derivations},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {5-6},
  pages        = {277--296},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01621472},
  doi          = {10.1007/BF01621472},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Buchholz91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Jager91,
  author       = {Gerhard J{\"{a}}ger},
  title        = {Between constructive mathematics and {PROLOG}},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {5-6},
  pages        = {297--310},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01621473},
  doi          = {10.1007/BF01621473},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Jager91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pohlers91,
  author       = {Wolfram Pohlers},
  title        = {Proof theory and ordinal analysis},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {5-6},
  pages        = {311--376},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01621474},
  doi          = {10.1007/BF01621474},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Pohlers91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Rathjen91,
  author       = {Michael Rathjen},
  title        = {Proof-theoretic analysis of {KPM}},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {5-6},
  pages        = {377--403},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01621475},
  doi          = {10.1007/BF01621475},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Rathjen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schwichtenberg91,
  author       = {Helmut Schwichtenberg},
  title        = {An upper bound for reduction sequences in the typed {\(\lambda\)}-calculus},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {5-6},
  pages        = {405--408},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01621476},
  doi          = {10.1007/BF01621476},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schwichtenberg91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sieg91,
  author       = {Wilfried Sieg},
  title        = {Herbrand analyses},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {5-6},
  pages        = {409--441},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01621477},
  doi          = {10.1007/BF01621477},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sieg91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Amiot90,
  author       = {Gilles Amiot},
  title        = {The undecidability of the second order predicate unification problem},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {3},
  pages        = {193--199},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621471},
  doi          = {10.1007/BF01621471},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Amiot90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Blass90,
  author       = {Andreas Blass},
  title        = {Groupwise density and related cardinals},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {1},
  pages        = {1--11},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01793782},
  doi          = {10.1007/BF01793782},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Blass90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Brendle90,
  author       = {J{\"{o}}rg Brendle},
  title        = {Cardinal invariants of infinite groups},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {3},
  pages        = {155--170},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621468},
  doi          = {10.1007/BF01621468},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Brendle90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Caicedo90,
  author       = {Xavier Caicedo},
  title        = {Definability properties and the congruence closure},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {4},
  pages        = {231--240},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01792985},
  doi          = {10.1007/BF01792985},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Caicedo90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CarrLP90,
  author       = {Donna M. Carr and
                  Jean{-}Pierre Levinski and
                  Donald H. Pelletier},
  title        = {On the existence of strongly normal ideals over\emph{P}\({}_{\mbox{\emph{{\(\kappa\)}}}}\)\emph{{\(\lambda\)}}},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {1},
  pages        = {59--72},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01793786},
  doi          = {10.1007/BF01793786},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CarrLP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CloteHP90,
  author       = {Peter Clote and
                  Petr H{\'{a}}jek and
                  Jeff B. Paris},
  title        = {On some formalized conservation results in arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {4},
  pages        = {201--218},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01792983},
  doi          = {10.1007/BF01792983},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CloteHP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Enayat90,
  author       = {Ali Enayat},
  title        = {Minimal elementary extensions of models of set theory and arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {3},
  pages        = {181--192},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621470},
  doi          = {10.1007/BF01621470},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Enayat90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Fajardo90,
  author       = {Sergio Fajardo},
  title        = {Elementary embeddings and games in adapted probability logic},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {1},
  pages        = {49--58},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01793785},
  doi          = {10.1007/BF01793785},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Fajardo90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/HajekM90,
  author       = {Petr H{\'{a}}jek and
                  Franco Montagna},
  title        = {The logic of {\(\pi\)}\({}_{\mbox{1}}\)-conservativity},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {2},
  pages        = {113--123},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01634981},
  doi          = {10.1007/BF01634981},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/HajekM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/JensenS90,
  author       = {Ronald B. Jensen and
                  Karl Schlechta},
  title        = {Results on the Generic Kurepa Hypothesis},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {1},
  pages        = {13--27},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01793783},
  doi          = {10.1007/BF01793783},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/JensenS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/JudahS90,
  author       = {Haim Judah and
                  Saharon Shelah},
  title        = {Around random algebra},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {3},
  pages        = {129--138},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621466},
  doi          = {10.1007/BF01621466},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/JudahS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Krivine90,
  author       = {Jean{-}Louis Krivine},
  title        = {Op{\'{e}}rateurs de mise en m{\'{e}}moire et traduction
                  de G{\"{o}}del},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {4},
  pages        = {241--267},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01792986},
  doi          = {10.1007/BF01792986},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Krivine90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kummer90,
  author       = {Martin Kummer},
  title        = {Some applications of computable one-one numberings},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {4},
  pages        = {219--230},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01792984},
  doi          = {10.1007/BF01792984},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Kummer90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Leary90,
  author       = {Christopher C. Leary},
  title        = {Patching ideal families on\emph{{\(\wp\)}}\({}_{\mbox{k}}\){\(\lambda\)}},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {4},
  pages        = {269--275},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01792987},
  doi          = {10.1007/BF01792987},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Leary90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Leivant90,
  author       = {Daniel Leivant},
  title        = {Markov's Rule revisited},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {2},
  pages        = {125--127},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01634982},
  doi          = {10.1007/BF01634982},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Leivant90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Marker90,
  author       = {David Marker},
  title        = {Bounds on Scott rank for various nonelementary classes},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {2},
  pages        = {73--82},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01634977},
  doi          = {10.1007/BF01634977},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Marker90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Murawski90,
  author       = {Roman Murawski},
  title        = {A note on the variety of satisfaction classes},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {2},
  pages        = {83--89},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01634978},
  doi          = {10.1007/BF01634978},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Murawski90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Murawski90a,
  author       = {Roman Murawski},
  title        = {Appendix to the paper "Definable sets and expansions of models of
                  Peano arithmetic"},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {2},
  pages        = {91--92},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01634979},
  doi          = {10.1007/BF01634979},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Murawski90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/PillayR90,
  author       = {Anand Pillay and
                  Philipp Rothmaler},
  title        = {Non-totally transcendental unidimensional theories},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {2},
  pages        = {93--111},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01634980},
  doi          = {10.1007/BF01634980},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/PillayR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sorbi90,
  author       = {Andrea Sorbi},
  title        = {On some filters and ideals of the Medvedev lattice},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {1},
  pages        = {29--48},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01793784},
  doi          = {10.1007/BF01793784},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sorbi90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/YuS90,
  author       = {Xiaokang Yu and
                  Stephen G. Simpson},
  title        = {Measure theory and weak K{\"{o}}nig's lemma},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {3},
  pages        = {171--180},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621469},
  doi          = {10.1007/BF01621469},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/YuS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Yukami90,
  author       = {Tsuyoshi Yukami},
  title        = {A theorem on generalizations of proofs},
  journal      = {Arch. Math. Log.},
  volume       = {30},
  number       = {3},
  pages        = {139--153},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01621467},
  doi          = {10.1007/BF01621467},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Yukami90.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.