Papers

Papers:

• Relativized Grothendieck topoi in Annals of Pure and Applied Logic Vol. 161 Issue 10 p. 1299-1312 [Preprint, Final]

• The Number Of Countable Models In Categories of Sheaves by to appear in The Proceedings of Makkaifest [Preprint]

• The Number Of Countable Models In A Realizability Topos by to appear in The Proceedings of of CT2010 [Preprint]

• Noncomputable conditional distributions with Cameron Freer and Daniel Roy, in Proc. 26th Ann. IEEE Symp. on Logic in Computer Science (LICS 2011) [Preprint].

Submitted:

• Completeness in Generalized Ultrametric Spaces submitted to Topology and its Applications [Preprint]

• A Fixed Point Theorem for Contracting Maps of Symmetric Continuity Spaces submitted to Journal of Fixed Point Theory and Applications [Preprint]

• Categories Enriched in Quantaloids Associated to a Frame submitted to Cahiers de Topologie et Geometrie Differentielle Categoriques [Preprint]

• On The Computability of Conditional Probability with Cameron Freer and Daniel Roy  [Preprint, arXiv:1005.3014].

In Preparation:

• On n Cardinal Spectra Of Ultrahomogeneous Theories [Preprint]
  

• Invariant Measures on Countable Models with Cameron Freer and Rehana Patel. 

• Potential Maps Between Sheaves [Preprint available on request]

• On Asymptotic 0-1 Laws for Infinite Languages [Preprint available on request]

Preprints:

• Quantifier Rank Spectra of L_{\omega_1, \omega} [Preprint]

Miscellaneous:

• Quantifier Rank Spectra of L-infinity-omega (Under Professor Gerald Sacks at the Massachusetts Institute of Technology) Thesis, Thesis Defense