63 citations · 112 across the 14 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.LO2015★ 8 cited
Intuitionistic nonstandard bounded modified realisability and functional interpretation
Bruno Dinis, Jaime Gaspar
We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles. The functional interpretat…
math.LO2015★ 6 cited
Characterization of distributivity in a solid
Bruno Dinis, Imme van den Berg
We give a characterization of the validity of the distributive law in a solid. There exists equivalence between the characterization and the modified axiom of distibutivity valid i…
math.LO2015★ 6 cited
On the quotient class of non-archimedean fields
Bruno Dinis, Imme van den Berg
The quotient class of a non-archimedean field is the set of cosets with respect to all of its additive convex subgroups. The algebraic operations on the quotient class are the Mink…