The following pages link to Olivier Esser (Q190348):
Displayed 19 items.
- A strong model of paraconsistent logic (Q558738) (← links)
- A formula that maps elements to proper classes in an arbitrary \(\in \)-universe (Q1959775) (← links)
- Relaxing stratification (Q2381137) (← links)
- Inconsistency of the Axiom of Choice with the positive theory (Q2710618) (← links)
- Combinatorial Criteria for Ramifiable Ordered Sets (Q2765577) (← links)
- Forcing with the Anti-Foundation axiom (Q3117780) (← links)
- (Q3590907) (← links)
- On the Consistency of a Positive Theory (Q4238430) (← links)
- An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory (Q4351926) (← links)
- (Q4465169) (← links)
- Fixed-points of Set-continuous Operators (Q4487245) (← links)
- (Q4531086) (← links)
- On topological set theory (Q4680372) (← links)
- (Q4781609) (← links)
- On the axiom of extensionality in the positive set theory (Q4798209) (← links)
- (Q4827116) (← links)
- Inconsistency of GPK + <i>AFA</i> (Q4868244) (← links)
- Large Cardinals and Ramifiability for Directed Sets (Q4939398) (← links)
- Antifoundation and transitive closure in the system of Zermelo (Q5937852) (← links)