Showing 2021 · math.LOShow all
2 papers · 2 filters
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…