James E. Hanson

collaborators

5 papers

math.GT2026

Set theory, logic, and homeomorphism groups of manifolds

James E. Hanson, Thomas Koberda, J. de la Nuez GonzÃ¡lez +1

We investigate the relationship between axiomatic set theory and the first-order theory of homeomorphism groups of manifolds in the language of group theory, concentrating on first…

math.LO2026

Pointwise Mean Value Theorems in Constructive Mathematics

Jananan Arulseelan, James E. Hanson

We answer some questions regarding the mean value theorem and related results in constructive mathematics. The answers to these questions reveal interesting properties of the Mean…

math.LO2026

The Axiom of Double Complement and its opposites

Hanul Jeon, James E. Hanson

Powell introduced the Axiom of Double Complement ( $DCom$ ) to give his double-negation interpretation of $ZF$ into $IZ F_{Rep}$ . However, the consistency,…

math.LO2025

Indiscernible extraction at small large cardinals from a higher-arity stability notion

James E. Hanson

We introduce a higher-arity stability notion defined in terms of $k$ -splitting, a higher-arity generalization of splitting. We show that theories with bounded $k$ -splitting have im…

math.LO2025

Uniqueness of constructible models in continuous logic

James E. Hanson

We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.