13630 results in The Journal of Symbolic Logic
RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 27 October 2020, pp. 72-108
- Print publication:
- March 2022
-
- Article
- Export citation
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 27 October 2020, pp. 362-396
- Print publication:
- March 2021
-
- Article
- Export citation
AROUND RUBIN’S “THEORIES OF LINEAR ORDER”
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 27 October 2020, pp. 1403-1426
- Print publication:
- December 2020
-
- Article
- Export citation
THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING $E-PA^{\omega } + QF-AC^{0,0}$
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 27 October 2020, pp. 224-261
- Print publication:
- March 2021
-
- Article
- Export citation
PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 26 October 2020, pp. 577-599
- Print publication:
- June 2021
-
- Article
- Export citation
ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 26 October 2020, pp. 1467-1498
- Print publication:
- December 2020
-
- Article
- Export citation
COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 26 October 2020, pp. 1664-1686
- Print publication:
- December 2020
-
- Article
- Export citation
COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 22 October 2020, pp. 1588-1598
- Print publication:
- December 2020
-
- Article
- Export citation
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 22 October 2020, pp. 433-447
- Print publication:
- June 2021
-
- Article
- Export citation
PUNCTUAL CATEGORICITY AND UNIVERSALITY
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 22 October 2020, pp. 1427-1466
- Print publication:
- December 2020
-
- Article
- Export citation
STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 22 October 2020, pp. 1486-1507
- Print publication:
- December 2021
-
- Article
- Export citation
CLASSES OF BARREN EXTENSIONS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 05 October 2020, pp. 178-209
- Print publication:
- March 2021
-
- Article
- Export citation
INTRINSIC SMALLNESS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 05 October 2020, pp. 558-576
- Print publication:
- June 2021
-
- Article
- Export citation
UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1376-1402
- Print publication:
- December 2020
-
- Article
- Export citation
GENERIC CODING WITH HELP AND AMALGAMATION FAILURE
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1385-1395
- Print publication:
- December 2021
-
- Article
- Export citation
MODEL THEORY AND COMBINATORICS OF BANNED SEQUENCES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1-20
- Print publication:
- March 2022
-
- Article
- Export citation
THE ADDITIVE GROUPS OF $\mathbb {Z}$ AND $\mathbb {Q}$ WITH PREDICATES FOR BEING SQUARE-FREE
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1324-1349
- Print publication:
- December 2021
-
- Article
- Export citation
HOMOTOPY MODEL THEORY
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1301-1323
- Print publication:
- December 2021
-
- Article
- Export citation
A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 05 October 2020, pp. 732-757
- Print publication:
- June 2022
-
- Article
- Export citation
RELATIONSHIPS BETWEEN COMPUTABILITY-THEORETIC PROPERTIES OF PROBLEMS
- Part of:
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 05 October 2020, pp. 47-71
- Print publication:
- March 2022
-
- Article
- Export citation