13630 results in The Journal of Symbolic Logic
PRESERVATION OF SUSLIN TREES AND SIDE CONDITIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. 483-492
- Print publication:
- June 2016
-
- Article
- Export citation
STRONGLY MINIMAL REDUCTS OF VALUED FIELDS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. 510-523
- Print publication:
- June 2016
-
- Article
- Export citation
THE TOPOLOGICAL PIGEONHOLE PRINCIPLE FOR ORDINALS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. 662-686
- Print publication:
- June 2016
-
- Article
- Export citation
JSL volume 81 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. b1-b2
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation
FRAGMENTS OF FREGE’S GRUNDGESETZE AND GÖDEL’S CONSTRUCTIBLE UNIVERSE
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. 605-628
- Print publication:
- June 2016
-
- Article
- Export citation
JSL volume 81 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. f1-f4
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation
COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. 417-462
- Print publication:
- June 2016
-
- Article
- Export citation
A RAMSEY THEOREM ON SEMIGROUPS AND A GENERAL VAN DER CORPUT LEMMA
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. 718-741
- Print publication:
- June 2016
-
- Article
- Export citation
NOTES ON EXTREMAL AND TAME VALUED FIELDS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. 400-416
- Print publication:
- June 2016
-
- Article
- Export citation
INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 29 June 2016, pp. 742-754
- Print publication:
- June 2016
-
- Article
- Export citation
FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 10 May 2016, pp. 524-540
- Print publication:
- June 2016
-
- Article
- Export citation
COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 May 2016, pp. 814-832
- Print publication:
- September 2016
-
- Article
- Export citation
QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 10 May 2016, pp. 687-710
- Print publication:
- June 2016
-
- Article
- Export citation
EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 May 2016, pp. 1007-1027
- Print publication:
- September 2016
-
- Article
- Export citation
EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 10 May 2016, pp. 774-788
- Print publication:
- June 2016
-
- Article
- Export citation
ISOMORPHISM ON HYP
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 03 May 2016, pp. 395-399
- Print publication:
- June 2016
-
- Article
- Export citation
LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 03 May 2016, pp. 463-482
- Print publication:
- June 2016
-
- Article
- Export citation
QUOTIENTS OF STRONGLY PROPER FORCINGS AND GUESSING MODELS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 09 March 2016, pp. 264-283
- Print publication:
- March 2016
-
- Article
- Export citation
DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 09 March 2016, pp. 32-55
- Print publication:
- March 2016
-
- Article
- Export citation
CLASSIFICATION THEORY FOR ACCESSIBLE CATEGORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 09 March 2016, pp. 151-165
- Print publication:
- March 2016
-
- Article
- Export citation