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
Common Assumption of Rationality, Preliminary Version.
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.
pdf .
dvi .
Iterated Dominance Revisited (with Amanda Friedenburg). Preliminary Report.
pdf
Common Assumption of Rationality (with Byung Soo Lee). Preliminary Report.
pdf
Fiber Products of Measures and Quantum Foundations (with Adam Brandenburger).
To appear 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,
2012. pdf
Randomizations of Theories with Countably Many Countable Models (with Uri Andrews)
Submitted. pdf .
dvi .
ps
Observing, Reporting, and Deciding in Networks of Sentences (with Jeffrey M. Keisler)
Submitted. pdf .
dvi .
ps
A Canonical Hidden-Variable Space (with Adam Brandenburger).
Preliminary Report. pdf .
Separable Randomizations of Models. Submitted.
pdf .
dvi .
ps
Use of a Canonical Hidden Variable Space in Quantum Mechanics (with Adam Brandenburger).
To appear in Festschrift for the 60th birthday of Samson Abramsky.
pdf .
Definable Closure in Randomizations (with Uri Andrews and Isaac Goldbring).
Submitted. pdf .
dvi .
ps .