Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Valentini, Silvio
2007.
Constructive characterizations of bar subsets.
Annals of Pure and Applied Logic,
Vol. 145,
Issue. 3,
p.
368.
Stefanova, Milena
and
Valentini, Silvio
2011.
Spatiality and classical logic.
Mathematical Logic Quarterly,
Vol. 57,
Issue. 4,
p.
432.
Boniolo, Giovanni
and
Valentini, Silvio
2012.
Objects: A Study in Kantian Formal Epistemology.
Notre Dame Journal of Formal Logic,
Vol. 53,
Issue. 4,
VALENTINI, SILVIO
2012.
Relative formal topology: the binary positivity predicate comes first.
Mathematical Structures in Computer Science,
Vol. 22,
Issue. 1,
p.
69.
Valentini, Silvio
2012.
Independence results in formal topology.
Annals of Pure and Applied Logic,
Vol. 163,
Issue. 2,
p.
151.
Valentini, Silvio
2013.
Cantor theorem and friends, in logical form.
Annals of Pure and Applied Logic,
Vol. 164,
Issue. 4,
p.
502.
HECKMANN, REINHOLD
2015.
Spatiality of countably presentable locales (proved with the Baire category theorem).
Mathematical Structures in Computer Science,
Vol. 25,
Issue. 7,
p.
1607.
Valentini, Silvio
2017.
Generalising the fan theorem.
Mathematical Logic Quarterly,
Vol. 63,
Issue. 1-2,
p.
85.
Rinaldi, Davide
Schuster, Peter
and
Wessel, Daniel
2018.
Eliminating disjunctions by disjunction elimination.
Indagationes Mathematicae,
Vol. 29,
Issue. 1,
p.
226.