skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on December 1, 2025

Title: THE UNIQUENESS OF ELEMENTARY EMBEDDINGS
Abstract Much of the theory of large cardinals beyond a measurable cardinal concerns the structure of elementary embeddings of the universe of sets into inner models. This paper seeks to answer the question of whether the inner model uniquely determines the elementary embedding.  more » « less
Award ID(s):
1902884
PAR ID:
10580672
Author(s) / Creator(s):
Publisher / Repository:
Journal of Symbolic Logic
Date Published:
Journal Name:
The Journal of Symbolic Logic
Volume:
89
Issue:
4
ISSN:
0022-4812
Page Range / eLocation ID:
1430 to 1454
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Abstract A rigid automorphism of a linking system is an automorphism that restricts to the identity on the Sylow subgroup. A rigid inner automorphism is conjugation by an element in the center of the Sylow subgroup. At odd primes, it is known that each rigid automorphism of a centric linking system is inner. We prove that the group of rigid outer automorphisms of a linking system at the prime $$2$$ is elementary abelian and that it splits over the subgroup of rigid inner automorphisms. In a second result, we show that if an automorphism of a finite group G restricts to the identity on the centric linking system for G , then it is of $p'$ -order modulo the group of inner automorphisms, provided G has no nontrivial normal $p'$ -subgroups. We present two applications of this last result, one to tame fusion systems. 
    more » « less
  2. Abstract Large changes of the magnetic field associated with magnetic perturbation events (MPEs) with amplitudes |ΔB| of hundreds of nT and 5–10 min duration have been frequently observed within a few hours of midnight. This study compares the statistical location of nighttime MPEs with |dB/dt| ≥ 6 nT/s within the auroral current system observed during 2015 and 2017 at two stations, Cape Dorset and Kuujjuarapik, in Eastern Canada. Maps of the two dimensional nightside auroral current system were derived using the Spherical Elementary Current Systems (SECS) technique. Analyses were produced at each station for all events, and for premidnight and postmidnight subsets. We examine four MPE intervals in detail, two accompanied by auroral images, and show the varying associations between MPEs and overhead ionospheric current systems including electrojets and the field‐aligned like currents. We find 225 of 279 MPEs occurred within the westward electrojet and only 3 within the eastward electrojet. For the premidnight MPEs 100 of 230 events occurred within the Harang current system while many of the remainder occurred within either the downward region 1 current system or the upward region 2 current system. Many of the 49 postmidnight MPEs occurred in either the downward region 1 (11 events) or upward region 2 current system (27 events). These result suggest that the source of MPEs in the premidnight sector is somewhere between the inner to mid plasma sheet and the source for the MPEs in the postmidnight sector is somewhere between the inner magnetosphere and the inner plasma sheet. 
    more » « less
  3. PurposeThis study is part of a participatory design research project and aims to develop and study pedagogical frameworks and tools for integrating computational thinking (CT) concepts and data science practices into elementary school classrooms. Design/methodology/approachThis paper describes a pedagogical approach that uses a data science framework the research team developed to assist teachers in providing data science instruction to elementary-aged students. Using phenomenological case study methodology, the authors use classroom observations, student focus groups, video recordings and artifacts to detail ways learners engage in data science practices and understand how they perceive their engagement during activities and learning. FindingsFindings suggest student engagement in data science is enhanced when data problems are contextualized and connected to students’ lived experiences; data analysis and data-based decision-making is practiced in multiple ways; and students are given choices to communicate patterns, interpret graphs and tell data stories. The authors note challenges students experienced with data practices including conflict between inconsistencies in data patterns and lived experiences and focusing on data visualization appearances versus relationships between variables. Originality/valueData science instruction in elementary schools is an understudied, emerging and important area of data science education. Most elementary schools offer limited data science instruction; few elementary schools offer data science curriculum with embedded CT practices integrated across disciplines. This research assists elementary educators in fostering children's data science engagement and agency while developing their ability to reason, visualize and make decisions with data. 
    more » « less
  4. Abstract In this article, we examine how elementary classroom teachers who are pursuing their Elementary Mathematics Specialist certification—who we refer to as Elementary Mathematics Specialists in Training (EMSTs)—are positioned in their advice and information networks for mathematics. Analyzing the advice networks of six elementary schools in one district, we found that EMSTs were sought out by more individuals than other teachers, and when sought out by others, provided advice at a greater frequency than formal leaders. EMSTs' advice‐interactions were often with grade‐level peers, with interactions in the same grade occurring at a greater frequency than those spanning grade levels. We also found that, in the school with a formal mathematics‐specific leader, advice interactions were primarily directed at the formal leader, including the advice‐seeking of the EMSTs at that school. Based on our findings, we conclude with implications for how teacher education programs and school administrators can support mathematics teacher leaders in enacting leadership from their classrooms. 
    more » « less
  5. Abstract We give an elementary proof of an inequality of Lin, Kim and Hsieh that implies strong subadditivity of the von Neumann entropy. 
    more » « less