Found: 22
Select item for more details and to access through your institution.
INVESTIGATING THE COMPUTABLE FRIEDMAN–STANLEY JUMP.
- Published in:
- Journal of Symbolic Logic, 2024, v. 89, n. 2, p. 918, doi. 10.1017/jsl.2023.30
- By:
- Publication type:
- Article
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS.
- Published in:
- Journal of Symbolic Logic, 2023, v. 88, n. 3, p. 1038, doi. 10.1017/jsl.2022.28
- By:
- Publication type:
- Article
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER.
- Published in:
- Journal of Symbolic Logic, 2023, v. 88, n. 3, p. 1083, doi. 10.1017/jsl.2022.66
- By:
- Publication type:
- Article
INITIAL SEGMENTS OF THE DEGREES OF CEERS.
- Published in:
- Journal of Symbolic Logic, 2022, v. 87, n. 3, p. 1260, doi. 10.1017/jsl.2022.14
- By:
- Publication type:
- Article
Computability and the Symmetric Difference Operator.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 499, doi. 10.1093/jigpal/jzab017
- By:
- Publication type:
- Article
first-order theory of the computably enumerable equivalence relations in the uncountable setting.
- Published in:
- Journal of Logic & Computation, 2022, v. 32, n. 1, p. 98, doi. 10.1093/logcom/exab045
- By:
- Publication type:
- Article
The property "arithmetic-is-recursive" on a cone.
- Published in:
- Journal of Mathematical Logic, 2021, v. 21, n. 3, p. 1, doi. 10.1142/S0219061321500215
- By:
- Publication type:
- Article
EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS.
- Published in:
- Review of Symbolic Logic, 2021, v. 14, n. 4, p. 838, doi. 10.1017/S1755020319000273
- By:
- Publication type:
- Article
Scattered sentences have few separable randomizations.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 5/6, p. 743, doi. 10.1007/s00153-020-00718-7
- By:
- Publication type:
- Article
Self-full ceers and the uniform join operator.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 3, p. 765, doi. 10.1093/logcom/exaa023
- By:
- Publication type:
- Article
ON ISOMORPHISM CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS.
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 1, p. 61, doi. 10.1017/jsl.2019.39
- By:
- Publication type:
- Article
Independence in randomizations.
- Published in:
- Journal of Mathematical Logic, 2019, v. 19, n. 1, p. N.PAG, doi. 10.1142/S0219061319500053
- By:
- Publication type:
- Article
Definable sets containing productsets in expansions of groups.
- Published in:
- Journal of Group Theory, 2019, v. 22, n. 1, p. 63, doi. 10.1515/jgth-2018-0038
- By:
- Publication type:
- Article
Trial and error mathematics: Dialectical systems and completions of theories.
- Published in:
- Journal of Logic & Computation, 2019, v. 29, n. 1, p. 157, doi. 10.1093/logcom/exy033
- By:
- Publication type:
- Article
Hindman's theorem and idempotent types.
- Published in:
- Semigroup Forum, 2018, v. 97, n. 3, p. 471, doi. 10.1007/s00233-018-9943-4
- By:
- Publication type:
- Article
Strongly minimal theories with recursive models.
- Published in:
- Journal of the European Mathematical Society (EMS Publishing), 2018, v. 20, n. 7, p. 1561, doi. 10.4171/JEMS/793
- By:
- Publication type:
- Article
THE COMPLEXITY OF INDEX SETS OF CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1375, doi. 10.1017/jsl.2016.26
- By:
- Publication type:
- Article
THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 997, doi. 10.1017/jsl.2015.59
- By:
- Publication type:
- Article
SEPARABLE MODELS OF RANDOMIZATIONS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 4, p. 1149, doi. 10.1017/jsl.2015.33
- By:
- Publication type:
- Article
UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 60, doi. 10.1017/jsl.2013.8
- By:
- Publication type:
- Article
DECIDABLE MODELS OF ω-STABLE THEORIES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 1, p. 186, doi. 10.1017/jsl.2013.2
- By:
- Publication type:
- Article
SPECTRA OF ATOMIC THEORIES.
- Published in:
- Journal of Symbolic Logic, 2013, v. 78, n. 4, p. 1189, doi. 10.2178/jsl.7804100
- By:
- Publication type:
- Article