Bulletin of Symbolic Logic 3 (3):378-396 (1997)
Authors | |
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/421152 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
Inconsistent Models for Relevant Arithmetics.Robert K. Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.
The Density of the Nonbranching Degrees.Peter A. Fejer - 1983 - Annals of Pure and Applied Logic 24 (2):113-130.
The Density of Infima in the Recursively Enumerable Degrees.Theodore A. Slaman - 1991 - Annals of Pure and Applied Logic 52 (1-2):155-179.
Undecidability and 1-Types in the Recursively Enumerable Degrees.Klaus Ambos-Spies & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 63 (1):3-37.
View all 7 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
1995–1996 Annual Meeting of the Association for Symbolic Logic.H. Jerome Keisler - 1996 - Bulletin of Symbolic Logic 2 (4):448-472.
1996-97 Annual Meeting of the Association for Symbolic Logic.Richard Lipton - 1997 - Bulletin of Symbolic Logic 3 (3):378-396.
1996–97 Annual Meeting of the Association for Symbolic Logic.Iklaus Ambos - 1997 - Bulletin of Symbolic Logic 3 (3):378-396.
1995–1996 Annual Meeting of the Association for Symbolic Logic.Tomek Bartoszynski, Harvey Friedman, Geoffrey Hellman, Bakhadyr Khoussainov, Phokion G. Kolaitis, Richard Shore, Charles Steinhorn, Mirna Dzamonja, Itay Neeman & Slawomir Solecki - 1996 - Bulletin of Symbolic Logic 2 (4):448-472.
The 1996-97 ASL Winter Meeting Will Be Held in Conjunction with the Annual Meeting of the American Mathematical Society During January 8-11, 1997, in San Diego, California. The 1996-97 ASL Annual Meeting Will Be Held March 22-25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the Local Organizing Com-Mittee is Sy Friedman. [REVIEW]A. Louveau, Y. Moschovakis, L. Pacholski, H. Schwichtenberg, T. Slaman, J. Truss, H. D. Macpherson, A. Slomson & S. Wainer - 1996 - Bulletin of Symbolic Logic 2:121.
Annual Meeting of the Association for Symbolic Logic: Boston 1983.George Boolos & Sy Friedman - 1984 - Journal of Symbolic Logic 49 (4):1441-1449.
Annual Meeting of the Association for Symbolic Logic.Sy D. Friedman - 1993 - Journal of Symbolic Logic 58 (1):370-382.
Alasdair Urquhart. The Complexity of Linear Logic with Weakening. Logic Colloquium '98, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Prague, Czech Republic, August 9–15, 1998, Edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture Notes in Logic, No. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, Pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
2009 North American Annual Meeting of the Association for Symbolic Logic.Alasdair Urquhart - 2009 - Bulletin of Symbolic Logic 15 (4):441-464.
Annual Meeting of the Association for Symbolic Logic: Notre Dame, 1993.Steven Buechler - 1994 - Journal of Symbolic Logic 59 (2):696-719.
2012 North American Annual Meeting of the Association for Symbolic Logic.Bradd Hart - forthcoming - Bulletin of Symbolic Logic.
Twenty-Fourth Annual Meeting of the Association for Symbolic Logic.Alan Ross Anderson - 1959 - Journal of Symbolic Logic 24 (4):312-326.
Analytics
Added to PP index
2014-03-30
Total views
9 ( #884,948 of 2,401,526 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,526 )
2014-03-30
Total views
9 ( #884,948 of 2,401,526 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,526 )
How can I increase my downloads?
Downloads