# The fine structure of operator mice

@article{Schlutzenberg2016TheFS, title={The fine structure of operator mice}, author={Farmer Schlutzenberg and Nam Trang}, journal={arXiv: Logic}, year={2016} }

We develop the theory of abstract fine structural operators and operator-premice. We identify properties, which we require of operator-premice and operators, which ensure that certain basic facts about standard premice generalize. We define fine condensation for operators $\mathcal{F}$ and show that fine condensation and iterability together ensure that $\mathcal{F}$-mice have the fundamental fine structural properties including universality and solidity of the standard parameter.

#### 6 Citations

A premouse inheriting strong cardinals from V

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2020

It is proved that a slight weakening of $(k+1)$-condensation follows from $(k,\omega_1 +1)-iterability in place of ($k, \omega-1,\omg1-1) -iterability) and that full $(k-2)-condensing follows from ($k-3)-solidity; these facts are needed in the proofs of the results above. Expand

Determinacy from strong compactness of ω 1 1 Nam Trang

- 2016

4 In the absence of the Axiom of Choice, the “small” cardinal ω1 can exhibit prop5 erties more usually associated with large cardinals, such as strong compactness and 6 supercompactness. For a local… Expand

Determinacy from strong compactness of $\omega_1$

- Mathematics
- 2016

In the absence of the Axiom of Choice, the "small" cardinal $\omega_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a… Expand

A brief account of recent developments in
inner model theory

- Economics
- Trends in Set Theory
- 2020

The goal of this survey paper is to give an overview of recent developments in inner model theory. We discuss several most important questions in the field and relevant work (partially) answering… Expand

Ideals and Strong Axioms of Determinacy

- Mathematics
- 2021

Θ is the least ordinal α with the property that there is no surjection f : R → α. ADR is the Axiom of Determinacy for games played on the reals. It asserts that every game of length ω of perfect… Expand

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$.

- Mathematics
- 2019

Let $M$ be an iterable fine structural mouse.
We prove that if $E\in M$ and $M\models$``$E$ is a countably complete short extender whose support is a cardinal $\theta$ and… Expand

#### References

SHOWING 1-10 OF 12 REFERENCES

An Outline of Inner Model Theory

- Mathematics
- 2010

This paper outlines the basic theory of canonical inner models satisfying large cardinal hypotheses. It begins with the definition of the models, and their fine structural analysis modulo iterability… Expand

A Weak Dodd-Jensen Lemma

- Mathematics, Computer Science
- J. Symb. Log.
- 1999

We show that every sufficiently iterable countable mouse has a unique iteration strategy whose associated iteration maps are lexicographically minimal. This enables us to extend the results of [3] on… Expand

The Core Model Iterability Problem

- Mathematics, Computer Science
- Lecture Notes in Logic
- 2017

A general iterability theorem is presented, which states that the hull and definability properties of K, the construction of true K, can be defined using an inductive definition. Expand

Fine Structure and Iteration Trees

- Mathematics, Computer Science
- Lecture Notes in Logic
- 2017

This volume, the third publication in the Lecture Notes in Logic series, Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory, which is what results when fine structure meets iteration trees. Expand

Contributions to Descriptive Inner Model Theory

- Mathematics
- 2012

Author(s): Wilson, Trevor Miles | Advisor(s): Steel, John R | Abstract: Descriptive inner model theory is the study of connections between descriptive set theory and inner model theory. Such… Expand

Fine structure and iteration 1311 trees, volume 3 of Lecture Notes in Logic

- 1994

Fine structure and iteration trees, volume 3 of Lecture Notes in Logic

- 1994

Inner models and large cardinals, volume 5 of de Gruyter 1336 Series in Logic and its Applications

- Walter de Gruyter & Co., Berlin,
- 2002

Inner models and large cardinals, volume 5 of de Gruyter Series in Logic and its Applications

- Walter de Gruyter & Co., Berlin,
- 2002