Sets and Computations

DOI10.1142/10532zbMath1375.03006OpenAlexW2617601293MaRDI QIDQ4976161

No author found.

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) Models of arithmetic and set theory (03C62) Recursive functions and relations, subrecursive hierarchies (03D20) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (1)

The modal logic of abelian groups

This page was built for publication: Sets and Computations