default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 35
Volume 35, Number 1, January 1996
- Myriam Quatrini:
A denotational semantics ofLC2. 1-32 - Samuel R. Buss, Peter Clote:
Cutting planes, connectivity, and threshold logic. 33-62
Volume 35, Number 2, March 1996
- Paolo Lipparini:
Ultrafilter translations - I. (λ, λ)-compactness of logics with a cardinality quantifier. 63-87 - Victor N. Krivtsov:
Creative subject, Beth models and neighbourhood functions. 89-102 - Grigori Mints, Sergei Tupailo, Wilfried Buchholz:
Epsilon substitution method for elementary analysis. 103-130
Volume 35, Number 3, May 1996
- Greg Hjorth:
Some applications of illfoundedness. 131-144 - M. Victoria Marshall:
Types in class set theory and inaccessible cardinals. 145-156 - Martin Grohe, Lauri Hella
:
A double arity hierarchy theorem for transitive closure logic. 157-171 - C. Luppi:
On the interpolation property of some intuitionistic modal logics. 173-189 - Petr Hájek, Lluís Godo, Francesc Esteva:
A complete many-valued logic with product-conjunction. 191-208
Volume 35, Number 4, June 1996
- Franco Montagna:
An algebraic treatment of quantifier-free systems of arithmetic. 209-224 - Franco Montagna, Giulia Simi, Andrea Sorbi:
Logic and probabilistic systems. 225-261 - A. Kamburelis, Bogdan Weglorz:
Splittings. 263-277
Volume 35, Numbers 5-6, November 1996
- Janusz Pawlikowski:
Every Sierpiński set is strongly meager. 281-285 - Uri Abraham, Saharon Shelah:
Martin's axiom and D21 well-ordering of the reals. 287-298 - Andrzej Roslanowski, Saharon Shelah:
More forcing notions imply diamond. 299-313 - Andrzej Roslanowski, Saharon Shelah:
Localizations of infinite subsets of w. 315-339 - Saharon Shelah:
Large normal ideals concentrating on a fixed small cardinality. 341-347 - Moti Gitik:
On hidden extenders. 349-369 - W. Hugh Woodin:
The universe constructed from a sequence of ordinals. 371-383 - Menachem Magidor, Saharon Shelah:
The tree property at successors of singular cardinals. 385-404
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-11-08 20:34 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:
