The following pages link to (Q4340909):
Displayed 15 items.
- Categoricity theorems and conceptions of set (Q1610616) (← links)
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- On fuzzification of Tarski's fixed point theorem without transitivity (Q1697521) (← links)
- Common coupled fixed point results for operators without mixed monotone type properties and application to nonlinear integral equations (Q2012284) (← links)
- A comparative study of Tarski's fixed point theorems with the stress on commutative sets of \(\mathbf{L}\)-fuzzy isotone maps with respect to transitivities (Q2041247) (← links)
- Forcing and the universe of sets: must we lose insight? (Q2194109) (← links)
- A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach (Q2409389) (← links)
- On generalized methods of successive approximations (Q2653968) (← links)
- Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940 (Q3389718) (← links)
- Surreal numbers with derivation, Hardy fields and transseries: a survey (Q4635370) (← links)
- CAN MODALITIES SAVE NAIVE SET THEORY? (Q4637947) (← links)
- Partitioning Kripke frames of finite height (Q5349257) (← links)
- The modal logic of forcing (Q5437615) (← links)
- On some categories of structured sets (Q6131256) (← links)
- Idempotent completions of \(n\)-exangulated categories (Q6154440) (← links)