Sets and computations
DOI10.1142/10532zbMATH Open1375.03006OpenAlexW2617601293MaRDI QIDQ4976161FDOQ4976161
Authors:
Publication date: 27 July 2017
Published in: Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/10532
Recommendations
- Structure and Randomness in Computability and Set Theory
- Computability theory and foundations of mathematics. Proceedings of the 9th international conference, Wuhan, China, March 21--27, 2019
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
- Computability. Randomness, reverse mathematics and hypercomputability
- Computability theory. Abstracts from the workshop held January 7--13, 2018
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Other aspects of forcing and Boolean-valued models (03E40) Recursive functions and relations, subrecursive hierarchies (03D20) Models of arithmetic and set theory (03C62)
Cited In (8)
- Set Operads in Combinatorics and Computer Science
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
- New Computational Paradigms
- Computability theory and foundations of mathematics. Proceedings of the 9th international conference, Wuhan, China, March 21--27, 2019
- Towards a computation system based on set theory
- The modal logic of abelian groups
- Sets, logic and maths for computing
- Sets, numbers and taxa
This page was built for publication: Sets and computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4976161)