Rodrigo Nicolau Almeida

Identifiers

• name variant Rodrigo Nicolau Almeida 0.60 · backfill

Papers (2)

1. A topos for \'etale-finite Heyting algebras math.LO · 2026 · author #2
2. Fischer-Servi logic does not have interpolation math.LO · 2026 · author #1

Mentions

• 2606.03861 #2 · arxiv_oai · confidence 0.70 Rodrigo Nicolau Almeida

Frequent Coauthors

• Igor Arrieta 1 shared papers
• Marco Abbadini 1 shared papers
• Nick Bezhanishvili 1 shared papers
• Simon Lemal 1 shared papers