The consistency of the theory $\mathsf {ZF} + \mathsf {AD}_{\mathbb {R}} + {}$‘every set of reals is universally Baire’ is proved relative to $\mathsf {ZFC} + {}$‘there is a cardinal that is a limit of Woodin cardinals and of strong cardinals’. The proof is based on the derived model construction, which was used by Woodin to show that the theory $\mathsf {ZF} + \mathsf {AD}_{\mathbb {R}} + {}$‘every set of reals is Suslin’ is consistent relative to $\mathsf {ZFC} + {}$‘there is a cardinal $\lambda $ that is a limit of Woodin cardinals and of $\mathord {<}\lambda $-strong cardinals’. The $\Sigma ^2_1$ reflection property of our model is proved using genericity iterations as in Neeman [18] and Steel [22].

Objectives/Goals: Depression is common among people living with HIV (PLWH). This study explored the link between reduced metacognitive awareness and depression in PLWH. It utilized a positive emotion regulation task to compare brain activation during viewing versus upregulating positive emotions. Methods/Study Population: Depressed PLWH (N = 24; mean age  =  53; HAM-D mean  =  19) participated in an emotion regulation task while blood oxygen-level-dependent (BOLD) responses were recorded. In the emotional regulation task, participants were shown the International Affective Picture System (IAPS) a series of positive, negative, and neutral images. Participants were asked to view these images and given instructions to either negatively reappraise (RN) or positively reappraise (RP). In the RP condition, participants were no longer shown the image and asked to upregulate their positive emotional responses associated with it. Ten onset times were included for each trial. Results/Anticipated Results: A one-sample t-test was conducted to analyze contrasts between reappraisal of positive images and viewing positive images (RP > VP). Results showed significantly greater activation in the posterior cingulate and angular gyrus during the RP condition (peak MNI: 18, -52, 34; p < 0.001, uncorrected, k > 10 voxels). In comparing the reappraisal of negative images to viewing negative images (RN > VN), there was increased activation in the right supramarginal gyrus (peak MNI: 50, -28, 22; p < 0.001, uncorrected, k > 10 voxels). When contrasting the reappraisal of positive to negative images (RP > RN), BOLD signals were higher in the left dorsolateral prefrontal cortex (peak MNI: 40, -38, 32; p < 0.001, uncorrected, k > 10 voxels). Discussion/Significance of Impact: Findings underscore that depressed PLWH demonstrates BOLD responses in brain regions linked to appetitive motivation and meta-cognitive awareness during the RP condition which demands more executive resources among those with depression, highlighting the complexity of emotional regulation in this population.

We show that under $\mathsf {BMM}$ and “there exists a Woodin cardinal,$"$ the nonstationary ideal on $\omega _1$ cannot be defined by a $\Pi _1$ formula with parameter $A \subset \omega _1$. We show that the same conclusion holds under the assumption of Woodin’s $(\ast )$-axiom. We further show that there are universes where $\mathsf {BPFA}$ holds and $\text {NS}_{\omega _1}$ is $\Pi _1(\{\omega _1\})$-definable. Lastly we show that if the canonical inner model with one Woodin cardinal $M_1$ exists, there is a generic extension of $M_1$ in which $\text {NS}_{\omega _1}$ is saturated and $\Pi _1(\{ \omega _1\} )$-definable, and $\mathsf {MA_{\omega _1}}$ holds.

The available tools and approaches to inform conservation decisions commonly assume detailed distribution data. We examine how well-established ecological concepts about patterns in local richness and community turnover can help overcome data limitations when planning future protected areas. To inform our analyses, we surveyed tree species in protected areas in the southern Appalachian Mountains in the eastern USA. We used the survey data to construct predictive models for alpha and beta diversity based on readily observed biophysical variables and combined them to create a heuristic that could predict among-site richness in trees (gamma diversity). The predictive models suggest that site elevation and latitude in this montane system explain much of the variation in alpha and beta diversity in tree species. We tested how well resulting protected areas would represent species if a conservation planner lacking detailed species inventories for candidate sites were to rely only on our alpha, beta and gamma diversity predictions. Our approach selected sites that, when aggregated, covered a large proportion of the overall species pool. The combined gamma diversity models performed even better when we also accounted for the cost of protecting sites. Our results demonstrate that classic community biogeography concepts remain highly relevant to conservation practice today.

We develop technology for investigation of natural forcing extensions of the model $L\left( \mathbb{R} \right)$ which satisfy such statements as “there is an ultrafilter” or “there is a total selector for the Vitali equivalence relation”. The technology reduces many questions about ZF implications between consequences of the Axiom of Choice to natural ZFC forcing problems.

Several temporal and event classifications are used for the Quaternary glacial and interglacial record in the Great Lakes region of North America. Although based on contrasting principles, the classifications, as practiced, are similar to one another in most respects and they differ little from the classification proposed by Chamberlin a century ago. All are based on stratigraphic units having time-transgressive boundaries; thus the associated time spans and events are diachronous. Where application of geochronologic classification based on isochronous boundaries is not practical or useful, we advocate the use of diachronic principles to establish local and regional temporal and event classifications. Diachronic and event classifications based on such principles are proposed herein for the Great Lakes region. Well-established names, including Wisconsin, Sangamon, and Illinois, are used at the episode (or glaciation/interglaciation) rank without significant redefinition. The Hudson Episode (Interglaciation) is introduced for postglacial time, the current interglacial interval. The Wisconsin Episode is divided into the Ontario, Elgin, and Michigan Subepisodes in the eastern and northern parts of the Great Lakes region and into the Athens and Michigan Subepisodes in the southern and western parts of the Great Lakes region.

This manuscript reviews a series of experiments which support the notion that the cerebellum and more specifically the cerebellar cortex is principally involved in real time operations required for the regulation of coordinated motor activity. Experiments are reviewed which illustrate: (1) that the climbing fiber inputs to Purkinje cells can induce a short-lasting enhancement of their responses to mossy fiber-granule cell-parallel fiber inputs, (2) that the cerebellum is not essential for the acquisition and performance of the classically conditioned nictitating membrane reflex (NMR) of the rabbit, and (3) that the observations resulting from the microinjection of lidocaine and multiple single unit recordings within the brainstem support the notion that cell populations in this region may participate in establishing the modifications in neuronal interactions required for the acquisition of the conditioned NMR. In addition, preliminary data are shown comparing the capacity of a normal subject and a patient with a massive ipsilateral cerebellar stroke to learn certain tracing tasks and to redraw these learned tracing movements 90° to the orientation of the original image. The data support the notion that the cerebellum is essential, not for the initial learning of the tracing movement, but rather for performing the learned movement with the required rotation of the original image.

Theorem. Suppose that k = (K, $$\prec_k$$) is an ℵ0-presentable abstract elementary class with Löwenheim–Skolem number ℵ0, satisfying the joint embedding and amalgamation properties in ℵ0. If K has only countably many models in ℵ1, then all are small. If, in addition, k is almost Galois ω-stable then k is Galois ω-stable. Suppose that k = (K, $$\prec_k$$) is an ℵ0-presented almost Galois ω-stable AEC satisfying amalgamation for countable models, and having a model of cardinality ℵ1. The assertion that K is ℵ1-categorical is then absolute.

We resolve taxonomic confusion regarding brooding sea anemones in the genus Epiactis Verrill 1869a in the North Pacific Ocean based on newly collected material from Hokkaido (Japan), Haida Gwaii (British Columbia, Canada), and Kodiak and Adak Islands (Alaska, USA), and museum specimens collected from the Kurile Islands (Russia), Alaska, British Columbia, Oregon (USA), and California (USA). We find that the internally brooding individuals identified by Hand & Dunn (1974) as Cnidopus ritteri (Torrey, 1902) and placed in the genus Epiactis by Fautin & Chia (1986) belong to a new species which we describe and name Epiactis handi sp. nov. Epiactis handi and E. ritteri can be differentiated by morphological and behavioural features including ornamentation and structure of the column and mode of brooding offspring. To highlight and clarify these differences, we redescribe E. ritteri based on specimens from Alaska. We provide the first account of external brooding in E. ritteri, which necessitates a clarification of the differences between E. ritteri and another externally brooding species from the North Pacific, E. japonica Verrill, 1869b. Epiactis ritteri and E. japonica differ in sex allocation, ornamentation of the column and details of external brooding: members of E. ritteri are gonochoric with a smooth column and brood groove which tightly closes, whereas those of E. japonica are hermaphroditic and have mid-column spherules.

We establish that if it is consistent that there is a supercompact cardinal, then it is consistent that every locally compact, hereditarily normal space that does not include a perfect pre-image of ${{\text{ }\!\!\omega\!\!\text{ }}_{1}}$ is hereditarily paracompact.