2005 Annual Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:5479571
DOI10.2178/bsl/1140640947zbMath1098.03503MaRDI QIDQ5479571
No author found.
Publication date: 10 July 2006
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1140640947
00B05: Collections of abstracts of lectures
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructive modal logics. I
- Dimension of definable sets, algebraic boundedness and Henselian fields
- Simple theories
- Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
- The simplest axiom system for plane hyperbolic geometry
- Untersuchungen über das logische Schliessen. I
- Epsilon substitution method for elementary analysis
- Substructural implicational logics including the relevant logic E
- Process complexity and effective random tests
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles
- The Field of Reals with Multisummable Series and the Exponential Function
- Cuts, consistency statements and interpretations
- Simple unstable theories
- Model theory of difference fields
- Quasianalytic Denjoy-Carleman classes and o-minimality
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
- The complexity of plane hyperbolic incidence geometry is ????
- Forking in Simple Unstable Theories
- On two problems of Erdos and Hechler: New methods in singular madness
- A definability result for compact complex spaces
- The spectrum of partitions of a Boolean algebra
