H. Jerome Keisler

Publication Activity (10 Years)

Years Active: 1960-2024
Publications (10 Years): 8

Top Topics

Quantum Mechanics

Syntactic Structures

Text Summarization

Top Venues

Ann. Pure Appl. Log.

Bull. Symb. Log.

Arch. Math. Log.

Publications

H. Jerome Keisler
Using ultrapowers to compare continuous structures. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Isaac Goldbring, H. Jerome Keisler
Continuous Sentences Preserved under Reduced Products. J. Symb. Log. 87 (2) (2022)
Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler, David Marker
Scattered sentences have few separable randomizations. Arch. Math. Log. 59 (5-6) (2020)
Uri Andrews, Isaac Goldbring, H. Jerome Keisler
Independence in randomizations. J. Math. Log. 19 (1) (2019)
Adam Brandenburger, H. Jerome Keisler
A canonical hidden-variable space. Ann. Pure Appl. Log. 169 (12) (2018)
H. Jerome Keisler
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. 23 (1) (2017)
Uri Andrews, H. Jerome Keisler
Separable Models of Randomizations. J. Symb. Log. 80 (4) (2015)
Uri Andrews, Isaac Goldbring, H. Jerome Keisler
Definable closure in randomizations. Ann. Pure Appl. Log. 166 (3) (2015)
H. Jerome Keisler, Jeffrey M. Keisler
Observing, reporting, and deciding in networks of sentences. Ann. Pure Appl. Log. 165 (3) (2014)
Adam Brandenburger, H. Jerome Keisler
Use of a Canonical Hidden-Variable Space in Quantum Mechanics. Computation, Logic, Games, and Quantum Foundations (2013)
H. Jerome Keisler, Jeffrey M. Keisler
Craig interpolation for networks of sentences. Ann. Pure Appl. Log. 163 (9) (2012)
H. Jerome Keisler, Wafik Boulos Lotfallah
Rank Hierarchies for Generalized Quantifiers. J. Log. Comput. 21 (2) (2011)
Amanda Friedenberg, H. Jerome Keisler
Iterated dominance revisited. BQGT (2010)
H. Jerome Keisler
Nonstandard arithmetic and recursive comprehension. Ann. Pure Appl. Log. 161 (8) (2010)
H. Jerome Keisler, Wafik Boulos Lotfallah
Almost everywhere elimination of probability quantifiers. J. Symb. Log. 74 (4) (2009)
Adam Brandenburger, H. Jerome Keisler
An Impossibility Theorem on Beliefs in Games. Stud Logica 84 (2) (2006)
H. Jerome Keisler
Nonstandard arithmetic and reverse mathematics. Bull. Symb. Log. 12 (1) (2006)
H. Jerome Keisler, Wafik Boulos Lotfallah
A local normal form theorem for infinitary logic with unary quantifiers. Math. Log. Q. 51 (2) (2005)
H. Jerome Keisler, Wafik Boulos Lotfallah
First order quantifiers in~monadic second order logic. J. Symb. Log. 69 (1) (2004)
H. Jerome Keisler, Julia F. Knight
Barwise: infinitary logic and admissible sets. Bull. Symb. Log. 10 (1) (2004)
H. Jerome Keisler, Wafik Boulos Lotfallah
Shrinking games and local formulas. Ann. Pure Appl. Log. 128 (1-3) (2004)
Michael Benedikt, H. Jerome Keisler
Definability with a predicate for a semi-linear set. J. Symb. Log. 68 (1) (2003)
Michael Benedikt, H. Jerome Keisler
Definability over Linear Constraints. CSL (2000)
Renling Jin, H. Jerome Keisler
Maharam Spectra of Loeb Spaces. J. Symb. Log. 65 (2) (2000)
H. Jerome Keisler
Quantifier Elimination for Neocompact Sets. J. Symb. Log. 63 (4) (1998)
Michael Benedikt, H. Jerome Keisler
Expressive Power of Unary Counters. Structures in Logic and Computer Science (1997)
Michael Benedikt, H. Jerome Keisler
Expressive Power of Unary Counters. ICDT (1997)
Renling Jin, H. Jerome Keisler
Game Sentences and Ultrapowers. Ann. Pure Appl. Log. 60 (3) (1993)
H. Jerome Keisler, Steven C. Leth
Meager Sets on the Hyperfinite Time Line. J. Symb. Log. 56 (1) (1991)
H. Jerome Keisler
From Discrete to Continuous Time. Ann. Pure Appl. Log. 52 (1-2) (1991)
H. Jerome Keisler, James H. Schmerl
Making the Hyperreal Line Both Saturated and Complete. J. Symb. Log. 56 (3) (1991)
H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth
Descriptive Set Theory Over Hyperfinite Sets. J. Symb. Log. 54 (4) (1989)
H. Jerome Keisler
Measures and forking. Ann. Pure Appl. Log. 34 (2) (1987)
H. Jerome Keisler
Hyperfinite models of adapted probability logic. Ann. Pure Appl. Log. 31 (1986)
H. Jerome Keisler
A completeness proof for adapted probability logic. Ann. Pure Appl. Log. 31 (1986)
C. Ward Henson, H. Jerome Keisler
On the Strength of Nonstandard Analysis. J. Symb. Log. 51 (2) (1986)
C. Ward Henson, Matt Kaufmann, H. Jerome Keisler
The Strength of Nonstandard Methods in Arithmetic. J. Symb. Log. 49 (4) (1984)
H. Jerome Keisler
Meeting of the Association for Symbolic Logic: Madison 1982. J. Symb. Log. 48 (4) (1983)
Kim B. Bruce, H. Jerome Keisler
(\Finv). J. Symb. Log. 44 (1) (1979)
John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. J. Symb. Log. 44 (3) (1979)
H. Jerome Keisler
The Stability Function of a Theory. J. Symb. Log. 43 (3) (1978)
H. Jerome Keisler, Karel Prikry
A Result Concerning Cardinalities of Ultraproducts. J. Symb. Log. 39 (1) (1974)
H. Jerome Keisler, Wilbur Walkoe Jr.
The Diversity of Quantifier Prefixes. J. Symb. Log. 38 (1) (1973)
H. Jerome Keisler
On Theories Categorical in Their Own Power. J. Symb. Log. 36 (2) (1971)
H. Jerome Keisler
Ultraproducts which are not Saturated. J. Symb. Log. 32 (1) (1967)
H. Jerome Keisler
Ultraproducts of Finite Sets. J. Symb. Log. 32 (1) (1967)
H. Jerome Keisler
Limit Ultraproducts. J. Symb. Log. 30 (2) (1965)
H. Jerome Keisler
Some Applications of Infinitely Long Formulas. J. Symb. Log. 30 (3) (1965)
Chen C. Chang, H. Jerome Keisler
An Improved Prenex Normal Form. J. Symb. Log. 27 (3) (1962)
H. Jerome Keisler
Theory of Models with Generalized Atomic Formulas. J. Symb. Log. 25 (1) (1960)