2010 North American Annual Meeting of the Association for Symbolic Logic (Q3083467): Difference between revisions

@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+A topos for algebraic quantum theory
@@ Property / cites work: A topos for algebraic quantum theory / rank @@
+Normal rank
@@ Property / cites work @@
+DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
@@ Property / cites work: DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+A globalisation of the Gelfand duality theorem
@@ Property / cites work: A globalisation of the Gelfand duality theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability and computable families of constructivizations
+Normal rank
@@ Property / cites work @@
+Bounding non-GL<sub>2</sub> and R.E.A.
@@ Property / cites work: Bounding non-GL<sub>2</sub> and R.E.A. / rank @@
+Normal rank
@@ Property / cites work @@
+Jet spaces of varieties over differential and difference fields
+Normal rank
@@ Property / cites work @@
+Duality for algebras of relevant logics
@@ Property / cites work: Duality for algebras of relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+A notion of mechanistic theory
@@ Property / cites work: A notion of mechanistic theory / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-exponentiation on algebraically closed fields of characteristic zero
+Normal rank
@@ Property / cites work @@
+Exponential rings, exponential polynomials and exponential functions
+Normal rank
@@ Property / cites work @@
+Q4179411
@@ Property / cites work: Q4179411 / rank @@
+Normal rank
@@ Property / cites work @@
+The expansion of mean‐periodic functions in series of exponentials
+Normal rank
@@ Property / cites work @@
+Generic structures and simple theories
@@ Property / cites work: Generic structures and simple theories / rank @@
+Normal rank
@@ Property / cites work @@
+Schanuel's conjecture and free exponential rings
@@ Property / cites work: Schanuel's conjecture and free exponential rings / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory of difference fields
@@ Property / cites work: Model theory of difference fields / rank @@
+Normal rank
@@ Property / cites work @@
+Model companions of \(T_{\Aut}\) for stable \(T\)
@@ Property / cites work: Model companions of \(T_{\Aut}\) for stable \(T\) / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey Classes and Homogeneous Structures
@@ Property / cites work: Ramsey Classes and Homogeneous Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Karp complexity and classes with the independence property
+Normal rank
@@ Property / cites work @@
+On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
+Normal rank
@@ Property / cites work @@
+Homotopy theoretic models of identity types
@@ Property / cites work: Homotopy theoretic models of identity types / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of categoricity in computable structures
+Normal rank
@@ Property / cites work @@
+An explicit solution to Post's problem over the reals
+Normal rank