1995 Annual Meeting of the Association for Symbol Logic
From MaRDI portal
Publication:4858811
DOI10.2307/421165zbMath0850.03003MaRDI QIDQ4858811
No author found.
Publication date: 18 January 1996
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0103-toc.htm
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Cites Work
- Labelling systems and r.e. structures
- A simplified proof of \(DDL<DL\)
- Groups with the minimal condition on centralizers
- Gleason's theorem is not constructively provable
- An extension of Borel determinacy
- The equivalence of determinacy and iterated sharps
- Supercompact cardinals, sets of reals, and weakly homogeneous trees
- Models of arithmetic and upper bounds for arithmetic sets
- General Relativity
- Determinacy and the sharp function on the reals