2010 North American Annual Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:3083467
DOI10.2178/bsl/1294186665zbMath1207.03006MaRDI QIDQ3083467
No author found.
Publication date: 21 March 2011
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1294186665
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
- Pseudo-exponentiation on algebraically closed fields of characteristic zero
- A topos for algebraic quantum theory
- Exponential rings, exponential polynomials and exponential functions
- A notion of mechanistic theory
- Autostability and computable families of constructivizations
- Generic structures and simple theories
- Model companions of \(T_{\Aut}\) for stable \(T\)
- Karp complexity and classes with the independence property
- Jet spaces of varieties over differential and difference fields
- Duality for algebras of relevant logics
- Schanuel's conjecture and free exponential rings
- An explicit solution to Post's problem over the reals
- A globalisation of the Gelfand duality theorem
- The logic of quantum mechanics
- The algebra of topology
- On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
- Bounding non-GL2 and R.E.A.
- DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
- Homotopy theoretic models of identity types
- Model theory of difference fields
- On the complexity of categoricity in computable structures
- Ramsey Classes and Homogeneous Structures
- The expansion of mean‐periodic functions in series of exponentials