2 citations · 4 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.LO2026
Model Comparison Games for Generalized Quantifiers
Antti Kuusisto, Miguel Moreno, Matias Selin
We introduce three new model comparison games that characterize separability by first-order formulas with generalized quantifiers. The first is built on the Ehrenfeucht-Fraïssé gam…
math.LO2026
Fodor space in generalized descriptive set theory
Ido Feldman, Miguel Moreno
We study the continuous reducibility of isomorphism relations in the space of regresive functions in . We show for inaccessible , that if is a theory with les…