default search action
Archive for Mathematical Logic, Volume 30
Volume 30, Number 1, January 1990
- Andreas Blass:
Groupwise density and related cardinals. 1-11 - Ronald B. Jensen, Karl Schlechta:
Results on the Generic Kurepa Hypothesis. 13-27 - Andrea Sorbi:
On some filters and ideals of the Medvedev lattice. 29-48 - Sergio Fajardo:
Elementary embeddings and games in adapted probability logic. 49-58 - Donna M. Carr, Jean-Pierre Levinski, Donald H. Pelletier:
On the existence of strongly normal ideals overPκλ. 59-72
Volume 30, Number 2, March 1990
- David Marker:
Bounds on Scott rank for various nonelementary classes. 73-82 - Roman Murawski:
A note on the variety of satisfaction classes. 83-89 - Roman Murawski:
Appendix to the paper "Definable sets and expansions of models of Peano arithmetic". 91-92 - Anand Pillay, Philipp Rothmaler:
Non-totally transcendental unidimensional theories. 93-111 - Petr Hájek, Franco Montagna:
The logic of π1-conservativity. 113-123 - Daniel Leivant:
Markov's Rule revisited. 125-127
Volume 30, Number 3, May 1990
- Haim Judah, Saharon Shelah
:
Around random algebra. 129-138 - Tsuyoshi Yukami:
A theorem on generalizations of proofs. 139-153 - Jörg Brendle
Cardinal invariants of infinite groups. 155-170 - Xiaokang Yu, Stephen G. Simpson:
Measure theory and weak König's lemma. 171-180 - Ali Enayat:
Minimal elementary extensions of models of set theory and arithmetic. 181-192 - Gilles Amiot:
The undecidability of the second order predicate unification problem. 193-199
Volume 30, Number 4, July 1990
- Peter Clote, Petr Hájek, Jeff B. Paris:
On some formalized conservation results in arithmetic. 201-218 - Martin Kummer:
Some applications of computable one-one numberings. 219-230 - Xavier Caicedo:
Definability properties and the congruence closure. 231-240 - Jean-Louis Krivine:
Opérateurs de mise en mémoire et traduction de Gödel. 241-267 - Christopher C. Leary:
Patching ideal families on℘kλ. 269-275
Volume 30, Numbers 5-6, September 1991
- Wilfried Buchholz:
Notation systems for infinitary derivations. 277-296 - Gerhard Jäger:
Between constructive mathematics and PROLOG. 297-310 - Wolfram Pohlers:
Proof theory and ordinal analysis. 311-376 - Michael Rathjen:
Proof-theoretic analysis of KPM. 377-403 - Helmut Schwichtenberg:
An upper bound for reduction sequences in the typed λ-calculus. 405-408 - Wilfried Sieg:
Herbrand analyses. 409-441
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-29 20:04 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: