Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/aml/Ahlbrandt088,
  author       = {Gisela Ahlbrandt and
                  John T. Baldwin},
  title        = {Categoricity and generalized model completeness},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {1--4},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625828},
  doi          = {10.1007/BF01625828},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Ahlbrandt088.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Bellissima88,
  author       = {Fabio Bellissima},
  title        = {On the lattice of extensions of the modal logics KAlt\({}_{\mbox{n}}\)},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {2},
  pages        = {107--114},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01620760},
  doi          = {10.1007/BF01620760},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Bellissima88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Bezem88,
  author       = {Marc Bezem},
  title        = {Equivalence of bar recursors in the theory of functionals of finite
                  type},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {2},
  pages        = {149--160},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01620763},
  doi          = {10.1007/BF01620763},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Bezem88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Buchholz88,
  author       = {Wilfried Buchholz},
  title        = {Induktive Definitionen und Dilatoren},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {51--60},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625834},
  doi          = {10.1007/BF01625834},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Buchholz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Downey88,
  author       = {Rodney G. Downey},
  title        = {Recursively enumerable \emph{m}- and \emph{tt}-degrees {II:} The distribution
                  of singular degrees},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {2},
  pages        = {135--147},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01620762},
  doi          = {10.1007/BF01620762},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Downey88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Garcia88,
  author       = {Narciso Garc{\'{\i}}a},
  title        = {Operating on the universe},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {61--68},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625835},
  doi          = {10.1007/BF01625835},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Garcia88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Kanda88,
  author       = {Akira Kanda},
  title        = {Productive sets and constructively nonpartial-recursive functions},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {49--50},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625833},
  doi          = {10.1007/BF01625833},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Kanda88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/KrajicekP88,
  author       = {Jan Kraj{\'{\i}}cek and
                  Pavel Pudl{\'{a}}k},
  title        = {The number of proof lines and the size of proofs in first order logic},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {69--84},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625836},
  doi          = {10.1007/BF01625836},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/KrajicekP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/LauchliN88,
  author       = {Hans L{\"{a}}uchli and
                  Peter M. Neumann},
  title        = {On linearly ordered sets and permutation groups of countable degree},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {2},
  pages        = {189--192},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01620766},
  doi          = {10.1007/BF01620766},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/LauchliN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/MontagnaS88,
  author       = {Franco Montagna and
                  Giovanni Sommaruga},
  title        = {Rosser and mostowski sentences},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {2},
  pages        = {115--133},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01620761},
  doi          = {10.1007/BF01620761},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/MontagnaS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Murawski88,
  author       = {Roman Murawski},
  title        = {Definable sets and expansions of models of Peano arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {21--33},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625830},
  doi          = {10.1007/BF01625830},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Murawski88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/OberschelpST88,
  author       = {Arnold Oberschelp and
                  Karsten Schmidt{-}G{\"{o}}ttsch and
                  G{\"{u}}nter Todt},
  title        = {Castor quadruplorum},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {35--44},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625831},
  doi          = {10.1007/BF01625831},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/OberschelpST88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schutte88,
  author       = {Kurt Sch{\"{u}}tte},
  title        = {Ein Wohlordnungsbeweis f{\"{u}}r das Ordinalzahlensystem \emph{T(J)}},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {5--20},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625829},
  doi          = {10.1007/BF01625829},
  timestamp    = {Tue, 09 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schutte88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schutte88a,
  author       = {Kurt Sch{\"{u}}tte},
  title        = {Eine Erweiterung \emph{T(V{\({'}\)})} des Ordinalzahlensystems
                  58-0158-0158-01({\(\Lambda\)}\({}_{\mbox{0}}\)) von G. J{\"{a}}ger},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {85--99},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625837},
  doi          = {10.1007/BF01625837},
  timestamp    = {Tue, 09 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schutte88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Simmons88,
  author       = {Harold Simmons},
  title        = {The realm of primitive recursion},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {2},
  pages        = {177--188},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01620765},
  doi          = {10.1007/BF01620765},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Simmons88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Tanaka88,
  author       = {Katsumi Tanaka},
  title        = {Some local properties of {\(\omega\)}-stable groups},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {45--47},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01625832},
  doi          = {10.1007/BF01625832},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Tanaka88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Tsuboi88,
  author       = {Akito Tsuboi},
  title        = {On a property of {\(\omega\)}-stable solvable groups},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {2},
  pages        = {193--197},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01620767},
  doi          = {10.1007/BF01620767},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Tsuboi88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Vauzeilles88,
  author       = {Jacqueline Vauzeilles},
  title        = {Cut-elimination and interpolation for {\(\Omega\)}-logic},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {2},
  pages        = {161--175},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01620764},
  doi          = {10.1007/BF01620764},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Vauzeilles88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Wainer88,
  author       = {Stanley S. Wainer},
  title        = {A plus-1 theorem for sub-sections},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {2},
  pages        = {101--105},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF01620759},
  doi          = {10.1007/BF01620759},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Wainer88.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.