default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 15
Volume 15, Number 1, March 2009
- Valery Plisko:
A Survey of Propositional Realizability Logic. 1-42 - Akihiro Kanamori:
Bernays and Set Theory. 43-69
- Adrien Deloro:
Actions of Groups of Finite Morley Rank on Small Abelian Groups. 70-90
Volume 15, Number 2, June 2009
- Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
When are two algorithms the same? 145-168 - Román Sasyk
, Asger Törnquist:
Borel reducibility and classification of von Neumann algebras. 169-183 - Christian Rosendal:
Automatic continuity of group homomorphisms. 184-214
Volume 15, Number 3, September 2009
- Alasdair Urquhart:
Enumerating types of Boolean functions. 273-299
- Bart Kastermans:
Isomorphism types of maximal cofinitary groups. 300-319
Volume 15, Number 4, December 2009
- Stephen G. Simpson:
Mass problems and measure-theoretic regularity. 385-409 - Philip D. Welch:
Games for truth. 410-427
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-10-31 20:15 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:
