2005 Annual Meeting of the Association for Symbolic Logic

DOI10.2178/bsl/1140640947zbMath1098.03503OpenAlexW2315787547MaRDI 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

Mathematics Subject Classification ID

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
• 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

This page was built for publication: 2005 Annual Meeting of the Association for Symbolic Logic