output
20152026
most citedGenerative AI

1.3k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing math.LOShow all

3 papers · 1 filter

math.LO2023★ 1 cited

Esakia Duals of Regular Heyting Algebras

Gianluca Grilletti, Davide Emilio Quadrellaro

We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and…

math.LO2018★ 4 cited

Some nonstandard equivalences in Reverse Mathematics

Sam Sanders

Reverse Mathematics (RM) is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson. The aim of RM is finding the minimal axioms needed…

math.LO2015

More than bargained for in Reverse Mathematics

Sam Sanders

Reverse Mathematics (RM for short) is a program in the foundations of mathematics with the aim of finding the minimal axioms required for proving theorems about countable and separ…