Olivier Esser

14 papers Journal 14
YearRankTypeTitle / Venue / Authors
2012 J jnl
Forcing with the Anti-Foundation axiom.
Math. Log. Q.
Olivier Esser
2005 J jnl
On topological set theory.
Math. Log. Q.
Thierry Libert, Olivier Esser
2003 J jnl
A Strong Model of Paraconsistent Logic.
Notre Dame J. Formal Log.
Olivier Esser
2003 J jnl
Mildly Ineffable Cardinals and Hiperuniverces.
Reports Math. Log.
Olivier Esser
2003 J jnl
On the axiom of extensionality in the positive set theory.
Math. Log. Q.
Olivier Esser
2002 J jnl
Tree-Properties for Ordered Sets.
Math. Log. Q.
Olivier Esser, Roland Hinnion
2001 J jnl
Combinatorial Criteria for Ramifiable Ordered Sets.
Math. Log. Q.
Olivier Esser, Roland Hinnion
2000 J jnl
Fixed-points of Set-continuous Operators.
Math. Log. Q.
Daniel Dzierzgowski, Olivier Esser, Roland Hinnion
2000 J jnl
Inconsistency of The Axiom of Choice with The Positive Theory GPK
J. Symb. Log.
Olivier Esser
2000 J jnl
Large Cardinals and Ramifiability for Directed Sets.
Math. Log. Q.
Olivier Esser, Roland Hinnion
1999 J jnl
Antifoundation and Transitive Closure in the System of Zermelo.
Notre Dame J. Formal Log.
Olivier Esser, Roland Hinnion
1999 J jnl
On the Consistency of a Positive Theory.
Math. Log. Q.
Olivier Esser
1997 J jnl
An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory.
Math. Log. Q.
Olivier Esser
1996 J jnl
Inconsistency of GPK + AFA.
Math. Log. Q.
Olivier Esser