2004 Annual Meeting of the Association for Symbolic Logic, Carnegie Mellon University, Pittsburgh, PA, May 19–23, 2004. (English) Zbl 1080.03500
Abstracts of papers.
MSC:
| 03-06 | Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
| 00B05 | Collections of abstracts of lectures |
References:
| [1] | Conference record of the seventeenth annual ACM symposium on principles of programming languages pp 47– (1990) |
| [2] | DOI: 10.1093/bjps/45.2.549 · doi:10.1093/bjps/45.2.549 |
| [3] | LFCS 1234 pp 266– (1997) |
| [4] | Operational modal logic (1995) |
| [5] | Topology of data types and computability concepts pp 93– |
| [6] | The Journal of Symbolic Logic |
| [7] | Annals of Pure and Applied Logic |
| [8] | Relating set theory and topos theory using categories of classes (2003) |
| [9] | Algebraic set theory (1995) |
| [10] | Notes on constructive set theory (2001) |
| [11] | Computable Structures and the Hyperarithmetical Hierarchy (2000) · Zbl 0960.03001 |
| [12] | Mathematical knowledge (1975) |
| [13] | Philosophy of mathematics: selected readings (1983) · Zbl 0548.03002 |
| [14] | K. Gödel, Collected works IV: correspondence A–G (2003) |
| [15] | Computability in analysis and physics (1989) · Zbl 0678.03027 |
| [16] | Model theory: An introduction (2002) · Zbl 1003.03034 |
| [17] | TARK IV (1992) |
| [18] | DOI: 10.1016/j.jcss.2003.07.004 · Zbl 1072.03024 · doi:10.1016/j.jcss.2003.07.004 |
| [19] | DOI: 10.1007/BF00252180 · Zbl 0858.03017 · doi:10.1007/BF00252180 |
| [20] | DOI: 10.1023/A:1005622201768 · Zbl 0988.03007 · doi:10.1023/A:1005622201768 |
| [21] | DOI: 10.1007/3-540-44683-4_28 · doi:10.1007/3-540-44683-4_28 |
| [22] | DOI: 10.1007/s00153-002-0150-2 · Zbl 1024.03034 · doi:10.1007/s00153-002-0150-2 |
| [23] | DOI: 10.2307/2586506 · Zbl 0930.03009 · doi:10.2307/2586506 |
| [24] | DOI: 10.2307/2273702 · Zbl 0408.03044 · doi:10.2307/2273702 |
| [25] | DOI: 10.1006/jcom.2000.0561 · Zbl 0974.03054 · doi:10.1006/jcom.2000.0561 |
| [26] | DOI: 10.1016/S0168-0072(01)00073-2 · Zbl 0992.03070 · doi:10.1016/S0168-0072(01)00073-2 |
| [27] | DOI: 10.2307/2687821 · Zbl 0980.03059 · doi:10.2307/2687821 |
| [28] | DOI: 10.1002/1521-3870(200008)46:3<409::AID-MALQ409>3.0.CO;2-P · Zbl 0967.03037 · doi:10.1002/1521-3870(200008)46:3<409::AID-MALQ409>3.0.CO;2-P |
| [29] | DOI: 10.1023/B:JARS.0000021871.18776.94 · doi:10.1023/B:JARS.0000021871.18776.94 |
| [30] | DOI: 10.1103/PhysRev.188.2287 · doi:10.1103/PhysRev.188.2287 |
| [31] | Conference Record of the Twelfth Annual Symposium on Principles of Programming Languages, ACM pp 132– (1985) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
