default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 38
Volume 38, Number 1, January 1999
- Toru Tsujishita:
Construction of universal modal worlds based on hyperset theory. 1-18 - Geir Waagbø:
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality. 19-60 - Renling Jin, Saharon Shelah
:
Possible size of an ultrapower of w\omega. 61-77
Volume 38, Number 2, February 1999
- Carsten Butz:
A topological completeness theorem. 79-101 - Marion Scheepers:
The length of some diagonalization games. 103-122 - Mario Chiari, Jan Krajícek:
Lifting independence results in bounded arithmetic. 123-138
Volume 38, Number 3, April 1999
- Yunfu Shen:
Elimination of algorithmic quantifiers for ordered differential algebra. 139-144 - Victor N. Krivtsov:
Note on extensions of Heyting's arithmetic by adding the "creative subject". 145-152 - Kyriakos Keremedis:
Some remarks on category of the real line. 153-162 - Karl-Heinz Niggl:
Subrecursive functions on partial sequences. 163-193 - Jeffry L. Hirst:
Reverse mathematics of prime factorization of ordinals. 195-201
Volume 38, Numbers 4-5, May 1999
- Heinz-Dieter Ebbinghaus:
Preface Logic Colloqium '95, Haifa, Israel. 203 - Erich Grädel, Anders Malmström:
0-1 laws for recursive structures. 205-215 - Eric Rosen:
An existential fragment of second order logic. 217-234 - Martin Otto:
Bounded variable logics: two, three, and more. 235-256 - Alexei P. Stolboushkin, Michael A. Taitslin:
Normalizable linear orders and generic computations in finite models. 257-271 - Shmuel Lifsches, Saharon Shelah:
Random graphs in the monadic theory of order. 273-312 - Erich Grädel, Martin Otto, Eric Rosen:
Undecidability results on two-variable logics. 313-354
Volume 38, Number 6, August 1999
- Françoise Point:
Ultraproducts and Chevalley groups. 355-372 - Shamil Ishmukhametov:
On the r.e. predecessors of d.r.e. degrees. 373-386 - M. Victoria Marshall, M. Gloria Schwarze:
Rank in set theory without foundation. 387-393 - Satoko Titani:
A lattice-valued set theory. 395-421
Volume 38, Number 7, October 1999
- Sara Negri, Daniele Soravia:
The continuum as a formal space. 423-447 - Timothy J. Carlson:
Ordinal arithmetic and S1\Sigma_{1}-elementarity. 449-460 - Matthias Baaz, Helmut Veith:
Interpolation in fuzzy logic. 461-489
Volume 38, Number 8, November 1999
- H. Imhof:
Logics that define their own semantics. 491-513 - Ralf-Dieter Schindler:
Weak covering and the tree property. 515-520 - Sara Negri:
Sequent calculus proof theory of intuitionistic apartness and order relations. 521-547 - Taneli Huuskonen, Tapani Hyttinen, Mika Rautila:
On the k\kappa-cub game on l\lambda and I[l]I[\lambda ]. 549-557
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 2024-12-22 19:01 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:
