Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/aml/AbianK87,
  author       = {Alexander Abian and
                  Kyriakos Keremedis},
  title        = {Unramified forcing preserving the law of double negation},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {177--180},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017502},
  doi          = {10.1007/BF02017502},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/AbianK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Brunner87,
  author       = {Norbert Brunner},
  title        = {Garnir's dream spaces with Hamel bases},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {123--126},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017496},
  doi          = {10.1007/BF02017496},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Brunner87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/BuchiS87,
  author       = {J. Richard B{\"{u}}chi and
                  Steven Senger},
  title        = {Coding in the existential theory of concatenation},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {101--106},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017493},
  doi          = {10.1007/BF02017493},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/BuchiS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Bunder87,
  author       = {Martin W. Bunder},
  title        = {Some generalizations to two systems of set theory based on combinatory
                  logic},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {5--12},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017488},
  doi          = {10.1007/BF02017488},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Bunder87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Chong87,
  author       = {C. T. Chong},
  title        = {Degree-theoretic bounds on the morley rank},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {137--145},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017498},
  doi          = {10.1007/BF02017498},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Chong87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/CrossleyK87,
  author       = {John N. Crossley and
                  Jane Bridge Kister},
  title        = {Natural well-orderings},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {57--76},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017491},
  doi          = {10.1007/BF02017491},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/CrossleyK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Downey87,
  author       = {Rodney G. Downey},
  title        = {Localization of a theorem of Ambos-Spies and the strong anti-splitting
                  property},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {127--136},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017497},
  doi          = {10.1007/BF02017497},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Downey87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Gordeev87,
  author       = {Lew Gordeev},
  title        = {On cut elimination in the presence of perice rule},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {147--164},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017499},
  doi          = {10.1007/BF02017499},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Gordeev87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/HajekP87,
  author       = {Petr H{\'{a}}jek and
                  Jeff B. Paris},
  title        = {Combinatorial principles concerning approximations of functions},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {13--28},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017489},
  doi          = {10.1007/BF02017489},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/HajekP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Krajicek87,
  author       = {Jan Kraj{\'{\i}}cek},
  title        = {A note on proofs of falsehood},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {169--176},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017501},
  doi          = {10.1007/BF02017501},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Krajicek87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Ragaz87,
  author       = {Matthias Ragaz},
  title        = {Parallelizable algebras},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {77--99},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017492},
  doi          = {10.1007/BF02017492},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Ragaz87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schutte87,
  author       = {Kurt Sch{\"{u}}tte},
  title        = {Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems
                  von G. J{\"{a}}ger},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {29--55},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017490},
  doi          = {10.1007/BF02017490},
  timestamp    = {Tue, 09 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schutte87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Szatkowski87,
  author       = {Miroslaw Szatkowski},
  title        = {Model existence theorem in superrelevant predicate logics},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {111--121},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017495},
  doi          = {10.1007/BF02017495},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Szatkowski87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Vaughn87,
  author       = {John B. Vaughn},
  title        = {A note on forking and normalization},
  journal      = {Arch. Math. Log.},
  volume       = {26},
  number       = {1},
  pages        = {165--168},
  year         = {1987},
  url          = {https://doi.org/10.1007/BF02017500},
  doi          = {10.1007/BF02017500},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Vaughn87.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.