13629 results in The Journal of Symbolic Logic
Forking in VC-minimal theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1257-1271
- Print publication:
- December 2012
-
- Article
- Export citation
Term extraction and Ramsey's theorem for pairs
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 853-895
- Print publication:
- September 2012
-
- Article
- Export citation
A strong polarized relation
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 766-776
- Print publication:
- September 2012
-
- Article
- Export citation
JSL volume 77 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 2012
-
- Article
-
- You have access
- Export citation
Non-finitely axiomatisable two-dimensional modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 970-986
- Print publication:
- September 2012
-
- Article
- Export citation
On ω-categorical, generically stable groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1047-1056
- Print publication:
- September 2012
-
- Article
- Export citation
Herbrand consistency of some arithmetical theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 807-827
- Print publication:
- September 2012
-
- Article
- Export citation
Small representations of SL2 in the finite Morley rank category
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 919-933
- Print publication:
- September 2012
-
- Article
- Export citation
The tree property and the failure of the Singular Cardinal Hypothesis at ℵω2
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 09 April 2017, pp. 934-946
- Print publication:
- September 2012
-
- Article
- Export citation
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 828-852
- Print publication:
- September 2012
-
- Article
- Export citation
Non-genericity phenomena in ordered Fraïssé classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 987-1010
- Print publication:
- September 2012
-
- Article
- Export citation
The Bernays-Schönfinkel-Ramsey class for set theory: decidability
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 896-918
- Print publication:
- September 2012
-
- Article
- Export citation
Small substructures and decidability issues for first-order logic with two variables
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-765
- Print publication:
- September 2012
-
- Article
- Export citation
JSL volume 77 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 2012
-
- Article
-
- You have access
- Export citation
A sound and complete axiomatization for Dynamic Topological Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 08 April 2017, pp. 947-969
- Print publication:
- September 2012
-
- Article
- Export citation
The Friedman-Sheard programme in intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 777-806
- Print publication:
- September 2012
-
- Article
- Export citation
-definability at uncountable regular cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1011-1046
- Print publication:
- September 2012
-
- Article
- Export citation
On uniform definability of types over finite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 499-514
- Print publication:
- June 2012
-
- Article
- Export citation
Sharpened lower bounds for cut elimination
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-668
- Print publication:
- June 2012
-
- Article
- Export citation
JSL volume 77 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 2012
-
- Article
-
- You have access
- Export citation