default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 27
Volume 27, Number 1, March 1988
- Gisela Ahlbrandt, John T. Baldwin:
Categoricity and generalized model completeness. 1-4 - Kurt Schütte:
Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). 5-20 - Roman Murawski:
Definable sets and expansions of models of Peano arithmetic. 21-33 - Arnold Oberschelp, Karsten Schmidt-Göttsch, Günter Todt:
Castor quadruplorum. 35-44 - Katsumi Tanaka:
Some local properties of ω-stable groups. 45-47 - Akira Kanda:
Productive sets and constructively nonpartial-recursive functions. 49-50 - Wilfried Buchholz:
Induktive Definitionen und Dilatoren. 51-60 - Narciso García:
Operating on the universe. 61-68 - Jan Krajícek, Pavel Pudlák:
The number of proof lines and the size of proofs in first order logic. 69-84 - Kurt Schütte:
Eine Erweiterung T(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger. 85-99
Volume 27, Number 2, September 1988
- Stanley S. Wainer:
A plus-1 theorem for sub-sections. 101-105 - Fabio Bellissima:
On the lattice of extensions of the modal logics KAltn. 107-114 - Franco Montagna, Giovanni Sommaruga:
Rosser and mostowski sentences. 115-133 - Rodney G. Downey:
Recursively enumerable m- and tt-degrees II: The distribution of singular degrees. 135-147 - Marc Bezem:
Equivalence of bar recursors in the theory of functionals of finite type. 149-160 - Jacqueline Vauzeilles:
Cut-elimination and interpolation for Ω-logic. 161-175 - Harold Simmons:
The realm of primitive recursion. 177-188 - Hans Läuchli, Peter M. Neumann:
On linearly ordered sets and permutation groups of countable degree. 189-192 - Akito Tsuboi:
On a property of ω-stable solvable groups. 193-197
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 2025-02-07 23:53 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
