2007 Annual Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:3533520
DOI10.2178/bsl/1186666153zbMath1147.03301OpenAlexW2484409883MaRDI QIDQ3533520
No author found.
Publication date: 23 October 2008
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1186666153
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logic of proofs, semantically
- Embeddings of countable closed sets and reverse mathematics
- Not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations
- Numerosities of labelled sets: A new way of counting
- An Aristotelian notion of size
- Justified common knowledge
- Variations on a theme of Curry
- Enumerations in computable structure theory
- Explicit Provability and Constructive Semantics
- Introducing Justification into Epistemic Logic
- Co-stationarity of the ground model
- Combinatorial principles weaker than Ramsey's Theorem for pairs
- Forcing closed unbounded sets
- Nonsplitting subset of κ(κ+)
- Ultrafilters on 𝜔-their ideals and their cardinal characteristics
- THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
- Intrinsically Hyperarithmetical Sets
- Cardinal invariants on Boolean algebras
This page was built for publication: 2007 Annual Meeting of the Association for Symbolic Logic
