Journal of Symbolic Logic 51 (2):480-502 (1986)
Authors |
|
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1017/s002248120003142x |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Representation and Duality Theory for Diagonalizable Algebras.Roberto Magari - 1975 - Studia Logica 34 (4):305 - 313.
On a Formalization of the Non-Definedness Notion.Albert Hoogewijs - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):213-217.
Countable Algebra and Set Existence Axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
On a Formalization of the Non‐Definedness Notion.Albert Hoogewijs - 1979 - Mathematical Logic Quarterly 25 (13‐18):213-217.
Citations of this work BETA
No citations found.
Similar books and articles
2012 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '12: Manchester, Uk July 12–18, 2012. [REVIEW]Paola D'Aquino - 2014 - Bulletin of Symbolic Logic 20 (3):369-410,.
European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium'93: Keele, England, July 20–29, 1993.Wilfrid Hodges - 1995 - Bulletin of Symbolic Logic 1 (1):85-115.
Logic Colloquium '95 Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995. [REVIEW]Johann A. Makowsky, Elena V. Ravve & Association of Symbolic Logic - 1998
Logic Colloquium '80 Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985.K. R. Apt - 1987 - Journal of Symbolic Logic 52 (1):295-349.
Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005.C. Dimitracopoulos, L. Newelski & D. Normann (eds.) - 2007 - Cambridge: Cambridge University Press.
L. Beklemishev. Another Pathological Well-Ordering. 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. 105–108. [REVIEW]G. Mints - 2001 - Bulletin of Symbolic Logic 7 (4):534.
2011 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '11.Klaus Ambos-Spies - 2012 - Bulletin of Symbolic Logic 18 (3):418-476.
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.
2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08.Alex J. Wilkie - 2009 - Bulletin of Symbolic Logic 15 (1):95-139.
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium'88), Padova, 1988.R. Ferro - 1990 - Journal of Symbolic Logic 55 (1):387-435.
2010 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
2010 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '10.Michael Rathjen - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
1999 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'99.Maarten de Rijke Pauly, Frans Snijders & Yde Venema - 2000 - Bulletin of Symbolic Logic 6 (1):103.
European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93.Wilfrid Hodges - 1995 - Bulletin of Symbolic Logic 1 (4):489-490.
Analytics
Added to PP index
2009-01-28
Total views
44 ( #259,160 of 2,518,734 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,734 )
2009-01-28
Total views
44 ( #259,160 of 2,518,734 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,734 )
How can I increase my downloads?
Downloads