Sets and computations

DOI10.1142/10532MaRDI QIDQ4976161zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

Cited in

(8)

• The modal logic of abelian groups
• Sets, logic and maths for computing
• Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
• Computability theory and foundations of mathematics. Proceedings of the 9th international conference, Wuhan, China, March 21--27, 2019
• Set Operads in Combinatorics and Computer Science
• New Computational Paradigms
• Sets, numbers and taxa
• Towards a computation system based on set theory

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)