9 citations · 44 across the 28 of their papers we have counts for
30 papers
Complexity of deep computations via topology of function spaces
Eduardo Dueñez, José Iovino, Tonatiuh Matos-Wiederhold +2
We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification of Rosenthal compac…
On the undefinability of pathological Banach spaces
Clovis Hamel, Franklin D. Tall
Motivated by Tsirelson's implicitly defined pathological Banach space, T. Gowers asked whether explicitly defined Banach spaces must include either or some . J. Iovin…
The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
Franklin D. Tall, Jing Zhang
The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense…
A new topological generalization of descriptive set theory
Iván Ongay-Valverde, Franklin D. Tall
We introduce a new topological generalization of the -projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced by , for regular uncounta…
-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…
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…