A Neometric Survey.
Pp. 233-250 in "Developments in Nonstandard Analysis",
edited by Nigel Cutland et al, Longman 1995
pdf .
dvi .
ps

Long Sequences and Neocompact Sets
(with Sergio Fajardo). Pp. 251-260
in "Developments in Nonstandard Analysis", edited by N. Cutland et al, Longman
1995
pdf .
dvi .
ps

Existence Theorems in Probability Theory
(with Sergio Fajardo). Advances in Mathematics 120 (1996), pp.
191-257
pdf .
dvi .
ps

Neometric Spaces (with Sergio Fajardo).
Advances in Mathematics 118 (1996), pp. 134-175
pdf .
dvi .
ps

Neocompact Sets and Stochastic Navier-Stokes Equations
(with Nigel Cutland).
Pp. 31-54 in "Stochastic Partial Differential Equations",
edited by A. Etheridge, London Mathematical
Society Lecture Notes Series 216, Cambridge Univ.
Press 1995
pdf .
dvi .
ps

Quantifier Elimination for Neocompact Formulas.
Journal of Symbolic Logic 63 (1998), pp. 1442-1472
pdf .
dvi .
ps

Rich and Saturated Adapted Spaces.
Advances in Mathematics 128 (1997), pp. 242-288
pdf .
dvi .
ps

Stochastic Differential Equations with
Extra Properties.
Pp. 259-277 in "Nonstandard Analysis, Theory and Applications",
edited by L. Arkeryd et al, NATO ASI Series C Vol. 493, Kluwer 1997
pdf .
dvi .
ps

Maharam Spectra of Loeb Spaces (with
Renling Jin). J. Symbolic Logic 65 (2000), pp. 550-566.
pdf .
dvi .
ps

Randomizing a Model.
Advances in Mathematics 143 (1999), pp. 124-158.
pdf .
dvi .
ps

Categoricity Without Equality (with
Arnold Miller). Fund. Math. 170 (2001), pp. 87-106.
pdf .
dvi .
ps

Expressive Power of Unary Counters (with Michael Benedikt).
Pp. 34-50 in "Structures in Logic and Computer Science",
edited by J. Mycielski et al, Lecture Notes in Computer Science 1261
(1997), Springer-Verlag.
pdf .
dvi .
ps

Loeb Measures and Borel Algebras
(with Yeneng Sun).
Pp. 111-118 in "Reuniting
the Antipodes---Constructive and Nonstandard Views of the Continuum",
edited by U. Berger, H. Osswald, and P. Schuster, Kluwer 2002.
pdf .
dvi .
ps

Abelian Groups with Layered Tiles and
the Sumset Phenomenon (with Renling Jin). Trans. Amer. Math. Soc. 355 (2002), pp. 79-97.
pdf .
dvi .
ps

Definability with a Predicate for a Semi-Linear Set
(with Michael Benedikt). J. Symb. Logic 68 (2003), pp. 319-351.
pdf

A Metric on Probabilities, and Products of Loeb
Spaces (with Yeneng Sun). J. London Math. Society 69 (2004), pp. 258-272.
pdf .
dvi .
ps

Barwise: Infinitary Logic and Admissible Sets
(with Julia Knight).
Bulletin of Symbolic Logic 10 (2004), pp 4-26
pdf .
dvi .
ps

Neoclosed Forcing (with Sergio Fajardo).
Pp. 45-79 in "Nonstandard Methods and Applications in Mathematics", edited by
N. Cutland, M. Di Nasso and D. Ross. Lecture Notes in Logic 25 (2006).
pdf .
dvi .
ps

Global Attractors for 3-dimensional Stochastic
Navier-Stokes Equations (with Nigel Cutland). J. Dynamics and Differential Equations
16 (2004), 205-266.
pdf .
dvi .
ps

Attractors and Neo-attractors for 3D
Stochastic Navier--Stokes Equations
(with Nigel Cutland). Journal of Stochastics and Dynamics 5 (2005), pp. 487-533.
pdf .
dvi .
ps

Shrinking Games and Local Formulas (with Wafik Lotfallah).
Annals of Pure and Applied Logic 128 (2004), pp. 215-225.
pdf .
dvi .
ps

First Order Quantifiers in Monadic Second Order Logic
(with Wafik Lotfallah). Journal of Symbolic Logic 69 (2004), pp. 118-136.
pdf .
dvi .
ps

An Impossibility Theorem on Beliefs in Games
(with Adam Brandenburger). Studia Logica.84 (2006), pp. 211-240.
pdf .
dvi .
ps

A Normal Form Theorem for Infinitary Logic with Unary Quantifiers
(with Wafik Lotfallah). Mathematical Logic Quarterly 51 (2005), pp. 137-144.
51 (2005), pp. 137-144.
pdf .
dvi .
ps

The Strength of Nonstandard Analysis. Pp. 3-26 in
"The Strength of Nonstandard Analysis", edited by I. van den Berg and V. Neves
(2007).
pdf .
dvi .
ps

Nonstandard Arithmetic and Reverse Mathematics. Bulletin of
Symbolic Logic 12 (2006), pp. 100-125.
pdf .
dvi .
ps

Quantifiers in Limits. In "Andrej Mostowski and Foundational Studies", ed. by
A. Ehrenfeucht et. al., IOS Press, Amsterdam (2008), pp. 151-170.
pdf .
dvi .
ps

Admissibility in Games
(with Adam Brandenburger and Amanda Friedenberg). Econometrica 76 (2008), 307-352.
pdf

Supplement to "Admissibility in Games": Appendices
(with Adam Brandenburger and Amanda Friedenberg).
Econometrica Supplementary Material.
pdf

Notes on the Relationship between Strong Belief and Assumption
(with Adam Brandenburger and Amanda Friedenberg). Online supplement
to Admissibility in Games.
pdf

Almost Everywhere Elimination of Probability Quantifiers
(with Wafik Lotfallah). Joural of Symbolic Logic 74 (2009), pp. 1121-1142.
pdf .
dvi .
ps

Randomizations of Models as Metric Structures (with Itai Ben Yaacov).
Confluentes Mathematici 1 (2009), pp. 197-223.
pdf .
dvi .
ps

Why Saturated Probability Spaces are Necessary (with Yeneg Sun).
Advances in Mathematics 221 (2009), pp. 1584-1607.
pdf .
dvi .
ps

The Ultraproduct Construction, In "Ultrafilters Across Mathematics",
ed. by V. Bergelson et. al.,
Contemporary Mathematics 530 (2010), pp. 163-179, Amer. Math. Soc.
pdf .
dvi .
ps

Nonstandard Arithmetic and Recursive Comprehension. Annals of Pure and Applied Logic 161 (2010) pp. 1047-1062.
pdf .
dvi .
ps

Rank Hierarchies and Generalized Quantifiers (with Wafik Lotfallah),
Journal of Logic and Computation 21 (2011), 287-306..
pdf .
dvi .
ps

Fixed Points in Epistemic Game Theory (with Adam Brandenburger and Amanda Friedenburg).
In "Mathematical Foundations of Information Flow", Proceedings of 2008 Clifford Lectures,
AMS Proc. of Symposia in Applied Mathematics (2012), pp.49-60.
pdf

Craig Interpolation for Networks of Sentences (with Jeffrey M. Keisler). Annals of Pure and Applied Logic
163 (2012), pp. 1322-1344. (Revised Version, April 2016).
pdf .

Iterated Dominance Revisited (with Amanda Friedenburg). Preliminary Report.
pdf

Common Assumption of Rationality, 2011 version (with Byung Soo Lee).
pdf

Common Assumption of Rationality (with Byung Soo Lee). Submitted.
pdf

Fiber Products of Measures and Quantum Foundations (with Adam Brandenburger).
In Logic & Algebraic Structures in Quantum Computing & Information,
edited by Jennifer Chubb, Ali Eskandarian, and Valentina Harizanov, in
Lecture Notes in Logic, Association for Symbolic Logic, Cambridge University Press,
2016. pdf

Observing, Reporting, and Deciding in Networks of Sentences (with Jeffrey M. Keisler)
Annals of Pure and Applied Logic 165 (2014), pp. 812-836.
pdf .
dvi .
ps

A Canonical Hidden-Variable Space (with Adam Brandenburger).
Preliminary Report. pdf .

Use of a Canonical Hidden Variable Space in Quantum Mechanics (with Adam Brandenburger).
In Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson
Abramsky, ed. by Bob Coecke, Luk Ong, and Prakash Panangaden, Lecture Notes in
Computer Science 7860, Springer 2013, pp. 1-6.
pdf .

Definable Closure in Randomizations (with Uri Andrews and Isaac Goldbring).
Annals of Pure and Applied Logic 166 (2015), pp. 325-341.
pdf .

Separable Models of Randomizations (with Uri Andrews). Journal of Symbolic Logic 80 (2015), 1149-1181.
pdf .

Independence Results in Randomizations (with Uri Andrews and Isaac Goldbring). Working paper.
pdf

Randomizations of Scattered Sentences. To appear in the forthcoming volume "Beyond First Order Model Theory", edited by Jose Iovino, CRC Press.
pdf

Randomizing O-minimal Theories (with Uri Andrews and Isaac Goldbring). Submitted.
pdf

Review of Three Papers by Malliaris and Shelah. To appear, Bulletin of Symbolic Logic.
pdf