Academic-turned-teacher (but still doing research as a hobby), interested in mathematical logic - specifically, computability theory and reverse mathematics, set theory, and abstract model theory. I'm also interested in other Nifty Things, in mathematics and elsewhere.

Since the SE system only allows temporary bounties, I am here informally "perma-bountying" the following questions, each for 500 points:

• Geometry and topology:

  • axiomatized function spaces

• Model theory:

  • ultrapowers and automorphisms

  • second-order Tarski-Vaughtification

• Descriptive set theory:

  • unraveling and determinacy

  • Banach game quantifier

• Set theory:

  • gently changing measure

  • second-order properties and ultrafilters

• Computability theory:

  • strong +1 hypothesis

  • cone property and e-degrees