default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 32
Volume 32, Number 1, January 1992
- Gaisi Takeuti, Satoko Titani:
Fuzzy logic and fuzzy set theory. 1-32 - Alan Dow, Juris Steprans
:
Countable Fréchetα1-spaces may be first countable. 33-50 - Klaus Ambos-Spies, André Nies:
Cappable recursively enumerable degrees and Post's program. 51-56 - Petr Hájek, Franco Montagna:
The logic ofII1-conservativity continued. 57-63 - Roman Kossak, Jeffrey B. Paris:
Subsets of models of arithmetic. 65-73
Volume 32, Number 2, March 1992
- Erik Palmgren:
Type-theoretic interpretation of iterated, strictly positive inductive definitions. 75-99 - Haim Judah:
Exact equiconsistency results for Δ31-sets of reals. 101-112 - Decheng Ding:
The distribution of the generic recursively enumerable degrees. 113-135 - Joseph L. Pe:
Polynomial-time Martin-Löf type theory. 137-150
Volume 32, Number 3, May 1993
- Pierre Matet:
Happy families and completely Ramsey sets. 151-171 - James Loveys:
On locally modular, weakly minimal theories. 173-194 - Menachem Kojman, Saharon Shelah:
μ-complete Souslin trees on μ+. 195-201 - Martin Goldstern, Saharon Shelah:
Many simple cardinal invariants. 203-221 - Frank O. Wagner:
Commutator conditions and splitting automorphisms for stable groups. 223-228 - Lev D. Beklemishev:
On the complexity of arithmetical interpretations of modal formulae. 229-238
Volume 32, Number 4, July 1993
- Karl-Heinz Niggl:
Subrecursive hierarchies on Scott domains. 239-257 - Bosko Zivaljevic:
Graphs with ∏10(K)Y-sections. 259-273 - Albert Visser:
The unprovability of small inconsistency - A study of local and global interpretability. 275-298 - Yoshifumi Yuasa:
Adding a Cohen real adds an entangled linear order. 299-304
Volume 32, Number 5, September 1993
- Saharon Shelah, Juris Steprans:
Maximal chains inωω and ultrapowers of the integers. 305-319 - Nadejda Georgieva:
Spaces with combinators. 321-339 - Chaz Schlindwein:
Simplified RCS iterations. 341-349 - Pascal Michel:
Busy beaver competition and Collatz-like problems. 351-367 - Renling Jin:
The differences between Kurepa trees and Jech-Kunen trees. 369-379
Volume 32, Number 6, November 1993
- Antonín Sochor:
Constructibility in higher order arithmetics. 381-389 - Antonín Sochor:
Interpretations of the alternative set theory. 391-398 - Saharon Shelah:
More on cardinal arithmetic. 399-428 - Wenzhi Sun:
Stationary Cardinals. 429-442 - Jeffry L. Hirst:
Embeddings of countable closed sets and reverse mathematics. 443-449 - Claus Grünenwald, Frieder Haug:
On stable torsion-free nilpotent groups. 451-462 - James H. Schmerl:
A weakly definable type which is not definable. 463-468
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-01-16 21:51 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:
