The following pages link to (Q4340909):
Displayed 10 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 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)
- 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)