Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Schechter, Eric
and
Schechter, E.
1992.
TWO TOPOLOGICAL EQUIVALENTS OF THE AXIOM OF CHOICE.
Mathematical Logic Quarterly,
Vol. 38,
Issue. 1,
p.
555.
Good, C.
and
Tree, I.J.
1995.
Continuing horrors of topology without choice.
Topology and its Applications,
Vol. 63,
Issue. 1,
p.
79.
Howard, Paul
Keremedis, Kyriakos
Rubin, Herman
and
Rubin, Jean E.
1998.
Versions of Normality and Some Weak Forms of the Axiom of Choice.
Mathematical Logic Quarterly,
Vol. 44,
Issue. 3,
p.
367.
Dodu, Juliette
and
Morillon, Marianne
1999.
The Hahn‐Banach Property and the Axiom of Choice.
Mathematical Logic Quarterly,
Vol. 45,
Issue. 3,
p.
299.
Kanai, Yasuo
2002.
On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory.
MLQ,
Vol. 48,
Issue. 3,
p.
413.
Kermedis, Kyriakos
2003.
Some weak forms of the Baire category theorem.
Mathematical Logic Quarterly,
Vol. 49,
Issue. 4,
p.
369.
Ahmed, Tarek Sayed
2005.
Algebraic Logic, Where Does it Stand Today?.
Bulletin of Symbolic Logic,
Vol. 11,
Issue. 4,
p.
465.
Sayed Ahmed, Tarek
2005.
Omitting types for algebraizable extensions of first order logic.
Journal of Applied Non-Classical Logics,
Vol. 15,
Issue. 4,
p.
465.
Kozen, Dexter
Larsen, Kim G.
Mardare, Radu
and
Panangaden, Prakash
2013.
Stone Duality for Markov Processes.
p.
321.
Kozen, Dexter
Mardare, Radu
and
Panangaden, Prakash
2013.
Mathematical Foundations of Computer Science 2013.
Vol. 8087,
Issue. ,
p.
655.
Livadas, Stathis
2013.
Are Mathematical Theories Reducible to Non-analytic Foundations?.
Axiomathes,
Vol. 23,
Issue. 1,
p.
109.
Turinici, Mihai
2014.
Mathematics Without Boundaries.
p.
515.
Jaziri, Samy
Larsen, Kim G.
Mardare, Radu
and
Xue, Bingtian
2014.
Adequacy and Complete Axiomatization for Timed Modal Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 308,
Issue. ,
p.
183.
Goldblatt, Robert
2014.
The Life and Work of Leon Henkin.
p.
179.
Larsen, Kim G.
Mardare, Radu
and
Xue, Bingtian
2015.
Alternation-Free Weighted Mu-Calculus: Decidability and Completeness.
Electronic Notes in Theoretical Computer Science,
Vol. 319,
Issue. ,
p.
289.
Larsen, Kim G.
Mardare, Radu
and
Xue, Bingtian
2015.
Concurrent weighted logic.
Journal of Logical and Algebraic Methods in Programming,
Vol. 84,
Issue. 6,
p.
884.
GUILLERMO, MAURICIO
and
MIQUEL, ALEXANDRE
2016.
Specifying Peirce's law in classical realizability.
Mathematical Structures in Computer Science,
Vol. 26,
Issue. 7,
p.
1269.
Turinici, Mihai
2017.
Operations Research, Engineering, and Cyber Security.
Vol. 113,
Issue. ,
p.
359.
Goranko, Valentin
2017.
Logic Colloquium '99.
p.
68.
Furber, Robert
Kozen, Dexter
Larsen, Kim
Mardare, Radu
and
Panangaden, Prakash
2017.
Unrestricted stone duality for Markov processes.
p.
1.