Ripheus23

Set theory is whack

"Definition 5.4: NN is a mouse iff NN is a critical premouse, N′N′ is iterable and for each i∈Ordi∈Ord there is NiNi, a critical premouse, such that (Ni)′=N′i(Ni)′=Ni′ where 〈N′i,π′ij,κi〉〈Ni′,πij′,κi〉 is the iteration of N′N′, and n(Ni)=n(N)n(Ni)=n(N).

Definition 5.1: Premouse N=JUαN=JαU is critical iff P(κ)∩Σω(N)⊈NP(κ)∩Σω(N)⊈N and NN is acceptable.

Definition 3.1: For κ<ακ<α, N=JUαN=JαU is a premouse at κκ iff N⊨“U is a normal measure on κ”N⊨“U is a normal measure on κ”."

~~~Cantor's Attice, "Core Model"

In other words, wtf are mice and premice?!?!?! This sounds more whack than Kurepa trees or zero-sharp or what.