13629 results in The Journal of Symbolic Logic
On finite approximations of topological algebraic systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-25
- Print publication:
- March 2007
-
- Article
- Export citation
Non-branching degrees in the Medvedev lattice of Π10 classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-97
- Print publication:
- March 2007
-
- Article
- Export citation
Forcing indestructibility of set-theoretic axioms
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-360
- Print publication:
- March 2007
-
- Article
- Export citation
Type-definable and invariant groups in o-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-80
- Print publication:
- March 2007
-
- Article
- Export citation
Bounding homogenous models
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-323
- Print publication:
- March 2007
-
- Article
- Export citation
The logic of interactive turing reduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-276
- Print publication:
- March 2007
-
- Article
- Export citation
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1189-1199
- Print publication:
- December 2006
-
- Article
- Export citation
Epsilon substitution method for
-FIX
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1155-1188
- Print publication:
- December 2006
-
- Article
- Export citation
Bounds for covering numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1303-1310
- Print publication:
- December 2006
-
- Article
- Export citation
JSL volume 71 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
- Print publication:
- December 2006
-
- Article
-
- You have access
- Export citation
Truth In V for ∃*∀∀-Sentences is Decidable
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1200-1222
- Print publication:
- December 2006
-
- Article
- Export citation
On Σ1-Structural Differences Among Finite Levels of the Ershov Hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1223-1236
- Print publication:
- December 2006
-
- Article
- Export citation
Corrigendum to: ‘A constructive view on ergodic theorems’
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1431-1432
- Print publication:
- December 2006
-
- Article
- Export citation
Predicate Logics of Constructive Arithmetical Theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1311-1326
- Print publication:
- December 2006
-
- Article
- Export citation
Computability Results Used in Differential Geometry
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1394-1410
- Print publication:
- December 2006
-
- Article
- Export citation
Local-global properties of positive primitive formulas in the theory of spaces of orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1097-1107
- Print publication:
- December 2006
-
- Article
- Export citation
A polarized partition relation for weakly compact cardinals using elementary substructures
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1342-1352
- Print publication:
- December 2006
-
- Article
- Export citation
Degrees of monotone complexity
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1327-1341
- Print publication:
- December 2006
-
- Article
- Export citation
Diagonal actions and Borel equivalence relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1081-1096
- Print publication:
- December 2006
-
- Article
- Export citation
A Metamathematical Condition Equivalent to the Existence of a Complete Left Invariant Metric for a Polish Group
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1124
- Print publication:
- December 2006
-
- Article
- Export citation