H. Jerome Keisler

51 papers A 1B 1Journal 45Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Using ultrapowers to compare continuous structures.
Ann. Pure Appl. Log.
H. Jerome Keisler
2022 J jnl
Continuous Sentences Preserved under Reduced Products.
J. Symb. Log.
Isaac Goldbring, H. Jerome Keisler
2020 J jnl
Scattered sentences have few separable randomizations.
Arch. Math. Log.
Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler, David Marker
2019 J jnl
Independence in randomizations.
J. Math. Log.
Uri Andrews, Isaac Goldbring, H. Jerome Keisler
2018 J jnl
A canonical hidden-variable space.
Ann. Pure Appl. Log.
Adam Brandenburger, H. Jerome Keisler
2017 J jnl
Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology . Journal of the American Mathematical Society, vol. 29 (2016), pp. 237-297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 (2016), pp. 614-681. - Maryanthe Malliaris and Saharon Shelah, Keisler's order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/.
Bull. Symb. Log.
H. Jerome Keisler
2015 J jnl
Definable closure in randomizations.
Ann. Pure Appl. Log.
Uri Andrews, Isaac Goldbring, H. Jerome Keisler
2015 J jnl
Separable Models of Randomizations.
J. Symb. Log.
Uri Andrews, H. Jerome Keisler
2014 J jnl
Observing, reporting, and deciding in networks of sentences.
Ann. Pure Appl. Log.
H. Jerome Keisler, Jeffrey M. Keisler
2013 — conf
Use of a Canonical Hidden-Variable Space in Quantum Mechanics.
Computation, Logic, Games, and Quantum Foundations
Adam Brandenburger, H. Jerome Keisler
2012 J jnl
Craig interpolation for networks of sentences.
Ann. Pure Appl. Log.
H. Jerome Keisler, Jeffrey M. Keisler
2011 J jnl
Rank Hierarchies for Generalized Quantifiers.
J. Log. Comput.
H. Jerome Keisler, Wafik Boulos Lotfallah
2010 — conf
Iterated dominance revisited.
BQGT
Amanda Friedenberg, H. Jerome Keisler
2010 J jnl
Nonstandard arithmetic and recursive comprehension.
Ann. Pure Appl. Log.
H. Jerome Keisler
2009 J jnl
Almost everywhere elimination of probability quantifiers.
J. Symb. Log.
H. Jerome Keisler, Wafik Boulos Lotfallah
2006 J jnl
An Impossibility Theorem on Beliefs in Games.
Stud Logica
Adam Brandenburger, H. Jerome Keisler
2006 J jnl
Nonstandard arithmetic and reverse mathematics.
Bull. Symb. Log.
H. Jerome Keisler
2005 J jnl
A local normal form theorem for infinitary logic with unary quantifiers.
Math. Log. Q.
H. Jerome Keisler, Wafik Boulos Lotfallah
2004 J jnl
Barwise: infinitary logic and admissible sets.
Bull. Symb. Log.
H. Jerome Keisler, Julia F. Knight
2004 J jnl
First order quantifiers in~monadic second order logic.
J. Symb. Log.
H. Jerome Keisler, Wafik Boulos Lotfallah
2004 J jnl
Shrinking games and local formulas.
Ann. Pure Appl. Log.
H. Jerome Keisler, Wafik Boulos Lotfallah
2003 J jnl
Definability with a predicate for a semi-linear set.
J. Symb. Log.
Michael Benedikt, H. Jerome Keisler
2000 B conf
Definability over Linear Constraints.
CSL
Michael Benedikt, H. Jerome Keisler
2000 J jnl
Maharam Spectra of Loeb Spaces.
J. Symb. Log.
Renling Jin, H. Jerome Keisler
1998 J jnl
Quantifier Elimination for Neocompact Sets.
J. Symb. Log.
H. Jerome Keisler
1997 — conf
Expressive Power of Unary Counters.
Structures in Logic and Computer Science
Michael Benedikt, H. Jerome Keisler
1997 A conf
Expressive Power of Unary Counters.
ICDT
Michael Benedikt, H. Jerome Keisler
1993 J jnl
Game Sentences and Ultrapowers.
Ann. Pure Appl. Log.
Renling Jin, H. Jerome Keisler
1992 — book
Model theory, Third Edition.
Chen C. Chang, H. Jerome Keisler
1991 J jnl
From Discrete to Continuous Time.
Ann. Pure Appl. Log.
H. Jerome Keisler
1991 J jnl
Making the Hyperreal Line Both Saturated and Complete.
J. Symb. Log.
H. Jerome Keisler, James H. Schmerl
1991 J jnl
Meager Sets on the Hyperfinite Time Line.
J. Symb. Log.
H. Jerome Keisler, Steven C. Leth
1989 J jnl
Descriptive Set Theory Over Hyperfinite Sets.
J. Symb. Log.
H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth
1987 J jnl
Measures and forking.
Ann. Pure Appl. Log.
H. Jerome Keisler
1986 J jnl
A completeness proof for adapted probability logic.
Ann. Pure Appl. Log.
H. Jerome Keisler
1986 J jnl
Hyperfinite models of adapted probability logic.
Ann. Pure Appl. Log.
H. Jerome Keisler
1986 J jnl
On the Strength of Nonstandard Analysis.
J. Symb. Log.
C. Ward Henson, H. Jerome Keisler
1984 J jnl
The Strength of Nonstandard Methods in Arithmetic.
J. Symb. Log.
C. Ward Henson, Matt Kaufmann, H. Jerome Keisler
1983 J jnl
Meeting of the Association for Symbolic Logic: Madison 1982.
J. Symb. Log.
H. Jerome Keisler
1979 J jnl
L
J. Symb. Log.
Kim B. Bruce, H. Jerome Keisler
1979 J jnl
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic.
J. Symb. Log.
John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis
1978 J jnl
The Stability Function of a Theory.
J. Symb. Log.
H. Jerome Keisler
1974 J jnl
A Result Concerning Cardinalities of Ultraproducts.
J. Symb. Log.
H. Jerome Keisler, Karel Prikry
1973 J jnl
The Diversity of Quantifier Prefixes.
J. Symb. Log.
H. Jerome Keisler, Wilbur Walkoe Jr.
1971 J jnl
On Theories Categorical in Their Own Power.
J. Symb. Log.
H. Jerome Keisler
1967 J jnl
Ultraproducts of Finite Sets.
J. Symb. Log.
H. Jerome Keisler
1967 J jnl
Ultraproducts which are not Saturated.
J. Symb. Log.
H. Jerome Keisler
1965 J jnl
Limit Ultraproducts.
J. Symb. Log.
H. Jerome Keisler
1965 J jnl
Some Applications of Infinitely Long Formulas.
J. Symb. Log.
H. Jerome Keisler
1962 J jnl
An Improved Prenex Normal Form.
J. Symb. Log.
Chen C. Chang, H. Jerome Keisler
1960 J jnl
Theory of Models with Generalized Atomic Formulas.
J. Symb. Log.
H. Jerome Keisler