13629 results in The Journal of Symbolic Logic
A note on superstable groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-663
- Print publication:
- June 2005
-
- Article
- Export citation
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 451-459
- Print publication:
- June 2005
-
- Article
- Export citation
Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-618
- Print publication:
- June 2005
-
- Article
- Export citation
Lexicographic exponentiation of chains
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-409
- Print publication:
- June 2005
-
- Article
- Export citation
Upward categoricity from a successor cardinal for tame abstract classes with amalgamation
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 639-660
- Print publication:
- June 2005
-
- Article
- Export citation
Up to equimorphism, hyperarithmetic is recursive
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-378
- Print publication:
- June 2005
-
- Article
- Export citation
Interpreting descriptions in intensional type theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 488-514
- Print publication:
- June 2005
-
- Article
- Export citation
A Schanuel condition for Weierstrass equations
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-638
- Print publication:
- June 2005
-
- Article
- Export citation
Structured pigeonhole principle, search problems and hard tautologies
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-630
- Print publication:
- June 2005
-
- Article
- Export citation
Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-472
- Print publication:
- June 2005
-
- Article
- Export citation
Expansions of o-minimal structures by fast sequences
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-418
- Print publication:
- June 2005
-
- Article
- Export citation
Elementary epimorphisms
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-487
- Print publication:
- June 2005
-
- Article
- Export citation
Randomness, relativization and Turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-535
- Print publication:
- June 2005
-
- Article
- Export citation
The Church-Rosser property in symmetric combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-556
- Print publication:
- June 2005
-
- Article
- Export citation
On the type-definability of the binding group in simple theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-388
- Print publication:
- June 2005
-
- Article
- Export citation
Quantum logic as motivated by quantum computing
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-359
- Print publication:
- June 2005
-
- Article
- Export citation
Une fonction de Kolchin pour les corps imparfaits de degré d'imperfection fini
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-680
- Print publication:
- June 2005
-
- Article
- Export citation
Subsets of superstable structures are weakly benign
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 142-150
- Print publication:
- March 2005
-
- Article
- Export citation
Computable categoricity of trees of finite height
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-215
- Print publication:
- March 2005
-
- Article
- Export citation
The isomorphism problem for computable Abelian p-groups of bounded length
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-345
- Print publication:
- March 2005
-
- Article
- Export citation