2002 Annual Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:4432543
DOI10.1017/S1079898600004807zbMath1024.03504OpenAlexW3144237921MaRDI QIDQ4432543
No author found.
Publication date: 27 October 2003
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0901-toc.htm
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Simple theories
- A model for intuitionistic non-standard arithmetic
- Some remarks on lengths of propositional proofs
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles
- Ramsey's theorem for computably enumerable colorings
- Beyond the Axioms: The Question of Objectivity in Mathematics†
- Generalized cohesiveness
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
- Ramsey's theorem and recursion theory
- Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
This page was built for publication: 2002 Annual Meeting of the Association for Symbolic Logic
