default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 34
Volume 34, Number 1, February 1995
- Eric Duquesne, Jacques Van de Wiele:
Proof nets of PN as graphs. 1-20 - Ambar Chowdhury:
A note on trivial nonmultidimensional superstable theories. 21-31 - James D. Sharp, Simon Thomas
:
Unbounded families and the cofinality of the infinite symmetric group. 33-45 - Andreas Schlüter:
A theory of rules for enumerated classes of functions. 47-63 - Karim Nour:
Strong storage operators and data types. 65-78
Volume 34, Number 2, March 1995
- Ying Jiang:
Consistency of a λ-theory withn-tuples and easy term. 79-96 - Yue Yang:
Iterated trees and fragments of arithmetic. 97-112 - Robert F. Stärk:
First-order theories for pure Prolog programs with negation. 113-144
Volume 34, Number 3, June 1995
- Salma Kuhlmann:
On the structure of nonarchimedean exponential fields I. 145-182 - Stephan Wehner:
On injective enumerability of recursively enumerable classes of cofinite sets. 183-196 - Marc Jumelet:
Euler'sϕ-function in the context of IΔ0. 197-209
Volume 34, Number 4, October 1995
- Inger Sigstam:
Formal spaces and their effective presentations. 211-246 - S. Barry Cooper, Xiaoding Yi:
The discontinuity of splitting in the recursively enumerable degrees. 247-256 - Juan Carlos Martínez:
On uncountable cardinal sequences for superatomic Boolean algebras. 257-261 - Menachem Kojman:
A proof of Shelah's partition theorem. 263-268 - Yves Péraire:
Some extensions of the principles of idealization transfer and choice in the relative internal set theory. 269-277 - Ulrich Kohlenbach:
A note on theΠ20-induction rule. 279-283
Volume 34, Number 5, October 1995
- Bradd Hart, Anand Pillay, Sergei Starchenko:
1-based theories - the main gap fora-models. 285-300 - Haim Judah, Otmar Spinas:
On the structure of Δ14-sets of reals. 301-312 - Andreas Weiermann:
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones. 313-330 - Reza Akhtar, Alistair H. Lachlan:
On countable homogeneous 3-hypergraphs. 331-344
Volume 34, Number 6, December 1995
- Gerhard Jäger, Thomas Strahm:
Second order theories with ordinals and elementary comprehension. 345-375 - Samuel R. Buss:
Some remarks on lengths of propositional proofs. 377-394 - Kitty L. Holland:
An introduction to fusion of strongly minimal sets: The geometry of fusions. 395-413
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-15 00:19 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:
