default search action
The Bulletin of Symbolic Logic, Volume 7
Volume 7, Number 1, March 2001
- Sergei N. Artëmov:
Explicit provability and constructive semantics. 1-36 - Thomas Scanlon
:
Diophantine geometry from model theory. 37-57
Volume 7, Number 2, June 2001
- Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore:
The prospects for mathematical logic in the twenty-first century. 169-196 - Jan Krajícek:
Tautologies from pseudo-random generators. 197-212 - Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu:
On the unusual effectiveness of logic in computer science. 213-236 - Lorenz Halbeisen, Saharon Shelah
Relations between some cardinals in the absence of the Axiom of Choice. 237-261
- Raf Cluckers
Grothendieck rings of Z-valued fields. 262-269
Volume 7, Number 3, September 2001
- Ernest Schimmerling
Square in core models. 305-314 - Eric Jaligot:
Full Frobenius groups of finite Morley rank and the Feit-Thompson Theorem. 315-328 - Simon Thomas
On the complexity of the classification problem for torsion-free abelian groups of finite rank. 329-344 - Philip D. Welch
On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set. 345-360 - John D. Clemens, Su Gao
Polish metric spaces: their classification and isometry groups. 361-375
Volume 7, Number 4, December 2001
- José Ferreirós:
The road to modern logic - An interpretation. 441-484 - Ernest Schimmerling
The ABC's of mice. 485-503 - Jouko A. Väänänen
Second-order logic and foundations of mathematics. 504-520
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-04 01: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: