Found: 17
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
How to make (mathematical) assertions with directives.
- Published in:
- Synthese, 2023, v. 202, n. 5, p. 1, doi. 10.1007/s11229-023-04360-7
- 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
Classifying word problems of finitely generated algebras via computable reducibility.
- Published in:
- International Journal of Algebra & Computation, 2023, v. 33, n. 4, p. 751, doi. 10.1142/S0218196723500339
- By:
- Publication type:
- Article
Thin Objects Are Not Transparent.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 2023, v. 89, n. 3, p. 314, doi. 10.1111/theo.12373
- By:
- Publication type:
- Article
How to approximate fuzzy sets: mind-changes and the Ershov Hierarchy.
- Published in:
- Synthese, 2023, v. 201, n. 2, p. 1, doi. 10.1007/s11229-023-04056-y
- By:
- Publication type:
- Article
Computability theory as a philosophical achievement.
- Published in:
- Clinical Chemistry & Laboratory Medicine, 2022, v. 60, n. 12, p. 1862, doi. 10.1515/cclm-2022-0710
- By:
- Publication type:
- Article
On the Turing complexity of learning finite families of algebraic structures.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 7, p. 1891, doi. 10.1093/logcom/exab044
- By:
- Publication type:
- Article
Speech acts in mathematics.
- Published in:
- Synthese, 2021, v. 198, n. 10, p. 10063, doi. 10.1007/s11229-020-02702-3
- By:
- Publication type:
- Article
Classifying equivalence relations in the Ershov hierarchy.
- Published in:
- Archive for Mathematical Logic, 2020, v. 59, n. 7/8, p. 835, doi. 10.1007/s00153-020-00710-1
- By:
- Publication type:
- Article
Word problems and ceers.
- Published in:
- Mathematical Logic Quarterly, 2020, v. 66, n. 3, p. 341, doi. 10.1002/malq.202000021
- By:
- Publication type:
- Article
Bi‐embeddability spectra and bases of spectra.
- Published in:
- Mathematical Logic Quarterly, 2019, v. 65, n. 2, p. 228, doi. 10.1002/malq.201800056
- By:
- Publication type:
- Article
Degrees of bi-embeddable categoricity of equivalence structures.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 5/6, p. 543, doi. 10.1007/s00153-018-0650-3
- 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
TRIAL AND ERROR MATHEMATICS II: DIALECTICAL SETS AND QUASIDIALECTICAL SETS, THEIR DEGREES, AND THEIR DISTRIBUTION WITHIN THE CLASS OF LIMIT SETS.
- Published in:
- Review of Symbolic Logic, 2016, v. 9, n. 4, p. 810, doi. 10.1017/S1755020316000253
- By:
- Publication type:
- Article
TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS.
- Published in:
- Review of Symbolic Logic, 2016, v. 9, n. 2, p. 299, doi. 10.1017/S1755020315000404
- 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