The following pages link to Ali Enayat (Q204231):
Displaying 50 items.
- An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN (Q649610) (← links)
- Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) (← links)
- Minimal elementary extensions of models of set theory and arithmetic (Q810502) (← links)
- Automorphisms of models of arithmetic: a unified view (Q866555) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- (Q1313602) (redirect page) (← links)
- A weakly definable type which is not definable (Q1313603) (← links)
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← links)
- Automorphisms of models of true arithmetic: Recognizing some basic open subgroups (Q1333303) (← links)
- Iterated ultrapowers for the masses (Q1661675) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- Models of set theory with definable ordinals (Q1777270) (← links)
- Condensable models of set theory (Q2144608) (← links)
- Set theoretical analogues of the Barwise-Schlipf theorem (Q2159934) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- End extending models of set theory via power admissible covers (Q2672157) (← links)
- δ as a Continuous Function of x and ɛ (Q2757444) (← links)
- Conservative extensions of models of set theory and generalizations (Q3030803) (← links)
- (Q3118396) (← links)
- Automorphisms of models of bounded arithmetic (Q3414770) (← links)
- On Certain Elementary Extensions of Models of Set Theory (Q3676140) (← links)
- Weakly compact cardinals in models of set theory (Q3712333) (← links)
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
- (Q3915632) (← links)
- (Q4247804) (← links)
- Power-like models of set theory (Q4328832) (← links)
- Counting models of set theory (Q4548834) (← links)
- ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES (Q4638982) (← links)
- (Q4656800) (← links)
- On the Leibniz–Mycielski axiom in set theory (Q4829349) (← links)
- INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929) (← links)
- Topological models of arithmetic (Q5029029) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- The Barwise-Schlipf theorem (Q5146566) (← links)
- An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited (Q5163164) (← links)
- Feferman’s Forays into the Foundations of Category Theory (Q5214790) (← links)
- (Q5222077) (← links)
- Variations on a Visserian Theme (Q5224688) (← links)
- Leibnizian models of set theory (Q5311752) (← links)
- (Q5393634) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
- Trees and Keisler's problem (Q5944051) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)
- Initial self-embeddings of models of set theory (Q6320124) (← links)
- Condensable models of set theory (Q6326864) (← links)
- Set theoretical analogues of the Barwise-Schlipf theorem (Q6333467) (← links)
- End extending models of set theory via power admissible covers (Q6374595) (← links)
