A. Enayat

activity

20162026

most citedTruth and Feasible Reducibility

8 citations · 17 across the 19 of their papers we have counts for

collaborators

Showing 2016Show all

3 papers · 1 filter

math.LO2016

ZFC proves that the class of ordinals is not weakly compact for definable classes

Ali Enayat, Joel David Hamkins

We prove that the class of all ordinals Ord is not weakly compact with respect to definable classes. Specifically, in any model of ZFC, the definable tree property fails for Ord, i…

math.LO2016

Largest initial segments pointwise fixed by automorphisms of models of set theory

Ali Enayat, Matt Kaufmann, Zachiri McKenzie

Given a model $M$ of set theory, and a nontrivial automorphism $j$ of $M$ , let $I_{fix} (j)$ be the submodel of $M$ whose universe c…

math.LO2016

Feferman's Forays into the Foundations of Category Theory

Ali Enayat, Paul Gorbow, Zachiri McKenzie

This paper is primarily concerned with assessing a set-theoretical system, $S^{*}$ , for the foundations of category theory suggested by Solomon Feferman. $S^{*}$ is an extension of NFU…