STORRS, Connecticut, June 14 -- The Journal of Symbolic Logic, a journal that says it features mathematical logic and its applications from the Association for Symbolic Logic, published research articles, including the following topics, in its June 2022 edition:

Articles:

* A Marriage of Brouwer's Intuitionism and Hilbert's Finitism I: Arithmetic

* The Consistency Strength of the Perfect Set Property for Universally Baire Sets of Reals