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 in The Proceedings of Makkaifest [Preprint]

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

• On The Computability of Conditional Probability with Cameron Freer and Daniel Roy submitted to Journal of the ACM [Preprint, arXiv:1005.3014 ]
• Noncomputable conditional distributions with Cameron Freer and Daniel Roy, in Proc. 26th Ann. IEEE Symp. on Logic in Computer Science (LICS 2011) [Preprint].

• Completeness in Generalized Ultrametric Spaces in p-Adic Numbers Ultrametric Anal. Appl. 5 (2013) no. 2, 89-105 [Preprint]

• Sheaf Recursion and a Separation Theorem to appear in Journal of Symbolic Logic [Preprint]

• Vaught's Conjecture Without Equality to appear in Notre Dame Journal of Formal Logic [Preprint]

• On Transferring Model Theoretic Theorems of $L_{\infty,\omega}$ in the Category of Sets to a Fixed Grothendieck Topos to appear in Logica Universalis [Preprint]
  
• Won "Best Paper" at the 4th World Congress on Universal Logic

• A Characterization of Quasitrivial n-Semigroups to appear in Algebra Universalis [Preprint]
  

Submitted:

• On Relativization of Complete Metric Spaces [Preprint]

• On n Cardinal Spectra Of Ultrahomogeneous Theories [Preprint]

• Invariant measures concentrated on countable structures with Cameron Freer and Rehana Patel [arXiv:1206.4011 ]

• A Fixed Point Theorem for Contracting Maps of Symmetric Continuity Spaces [Preprint]

Notes:

• Model Theoretic Proof of a Result of Hjorth [Notes]

• Categories Enriched in Quantaloids Associated to a Frame [Notes]

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

Miscellaneous:

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