default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 28
Volume 28, Number 1, February 1989
- Craig Smorynski:
Arithmetic analogues of McAloon's unique Rosser sentences. 1-21 - Fabio Bellissima:
Two classes of intermediate propositional logics without disjunction property. 23-33 - Moti Gitik, Saharon Shelah
:
On certain indestructibility of strong cardinals and a question of Hajnal. 35-42 - Peter Koepke:
On the free subset property at singular cardinals. 43-55 - Peter Päppinghaus:
Rekursion über Dilatoren und die Bachmann-Hierarchie. 57-73
Volume 28, Number 2, June 1989
- Switgard Feuerstein:
Quantifier elimination for Stone algebras. 75-89 - Jan Krajícek, Pavel Pudlák:
On the structure of initial segments of models of arithmetic. 91-98 - Jean-Pierre Ressayre:
Π21-Logic and uniformization in the analytical hierarchy. 99-117 - Peter Päppinghaus:
Ptykes in GödelsT und Definierbarkeit von Ordinalzahlen. 119-141 - Saharon Shelah, Simon Thomas:
Homogeneity of infinite permutation groups. 143-147
Volume 28, Number 3, October 1989
- Ramez L. Sami:
Turing determinacy and the continuum hypothesis. 149-154 - Gerd Bürger:
TheL<ω-theory of the class of Archimedian real closed fields. 155-166 - Peter Koepke:
On the elimination of Malitz quantifiers over Archimedian real closed fields. 167-171 - Costas Dimitracopoulos:
Overspill and fragments of arithmetic. 173-179 - Vincent Danos, Laurent Regnier:
The structure of multiplicatives. 181-203
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.
last updated on 2026-08-12 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
