9 citations · 44 across the 28 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
-Theory for Model Theorists
Clovis Hamel, Franklin D. Tall
We present applications of -theory, the branch of general topology concerned with spaces of real-valued continuous functions, to model theory, mostly in the context of continu…
math.LO2021
An undecidable extension of Morley's theorem on the number of countable models
Christopher J. Eagle, Clovis Hamel, Sandra Müller +1
We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More general…