H. Jerome Keisler

According to our database, H. Jerome Keisler authored at least 50 papers between 1960 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Using ultrapowers to compare continuous structures.

H. Jerome Keisler

Ann. Pure Appl. Log., January, 2024

2022

Continuous Sentences Preserved under Reduced Products.

Isaac Goldbring, H. Jerome Keisler

J. Symb. Log., 2022

2020

Scattered sentences have few separable randomizations.

Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler, David Marker

Arch. Math. Log., 2020

2019

Independence in randomizations.

Uri Andrews, Isaac Goldbring, H. Jerome Keisler

J. Math. Log., 2019

2018

A canonical hidden-variable space.

Adam Brandenburger, H. Jerome Keisler

Ann. Pure Appl. Log., 2018

2017

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/.

H. Jerome Keisler

Bull. Symb. Log., 2017

2015

Separable Models of Randomizations.

Uri Andrews, H. Jerome Keisler

J. Symb. Log., 2015

Definable closure in randomizations.

Uri Andrews, Isaac Goldbring, H. Jerome Keisler

Ann. Pure Appl. Log., 2015

2014

Observing, reporting, and deciding in networks of sentences.

H. Jerome Keisler, Jeffrey M. Keisler

Ann. Pure Appl. Log., 2014

2013

Use of a Canonical Hidden-Variable Space in Quantum Mechanics.

Adam Brandenburger, H. Jerome Keisler

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Craig interpolation for networks of sentences.

H. Jerome Keisler, Jeffrey M. Keisler

Ann. Pure Appl. Log., 2012

2011

Rank Hierarchies for Generalized Quantifiers.

H. Jerome Keisler, Wafik Boulos Lotfallah

J. Log. Comput., 2011

2010

Nonstandard arithmetic and recursive comprehension.

H. Jerome Keisler

Ann. Pure Appl. Log., 2010

Iterated dominance revisited.

Amanda Friedenberg, H. Jerome Keisler

Proceedings of the Behavioral and Quantitative Game Theory, 2010

2009

Almost everywhere elimination of probability quantifiers.

H. Jerome Keisler, Wafik Boulos Lotfallah

J. Symb. Log., 2009

2006

An Impossibility Theorem on Beliefs in Games.

Adam Brandenburger, H. Jerome Keisler

Stud Logica, 2006

Nonstandard arithmetic and reverse mathematics.

H. Jerome Keisler

Bull. Symb. Log., 2006

2005

A local normal form theorem for infinitary logic with unary quantifiers.

H. Jerome Keisler, Wafik Boulos Lotfallah

Math. Log. Q., 2005

2004

First order quantifiers in~monadic second order logic.

H. Jerome Keisler, Wafik Boulos Lotfallah

J. Symb. Log., 2004

Barwise: infinitary logic and admissible sets.

H. Jerome Keisler, Julia F. Knight

Bull. Symb. Log., 2004

Shrinking games and local formulas.

H. Jerome Keisler, Wafik Boulos Lotfallah

Ann. Pure Appl. Log., 2004

2003

Definability with a predicate for a semi-linear set.

Michael Benedikt, H. Jerome Keisler

J. Symb. Log., 2003

2000

Maharam Spectra of Loeb Spaces.

Renling Jin, H. Jerome Keisler

J. Symb. Log., 2000

Definability over Linear Constraints.

Michael Benedikt, H. Jerome Keisler

Proceedings of the Computer Science Logic, 2000

1998

Quantifier Elimination for Neocompact Sets.

H. Jerome Keisler

J. Symb. Log., 1998

1997

Expressive Power of Unary Counters.

Michael Benedikt, H. Jerome Keisler

Proceedings of the Structures in Logic and Computer Science, 1997

1993

Game Sentences and Ultrapowers.

Renling Jin, H. Jerome Keisler

Ann. Pure Appl. Log., 1993

1992

Model theory, Third Edition.

Chen C. Chang, H. Jerome Keisler

Studies in logic and the foundations of mathematics 73, North-Holland, ISBN: 978-0-444-88054-3, 1992

1991

Making the Hyperreal Line Both Saturated and Complete.

H. Jerome Keisler, James H. Schmerl

J. Symb. Log., 1991

Meager Sets on the Hyperfinite Time Line.

H. Jerome Keisler, Steven C. Leth

J. Symb. Log., 1991

From Discrete to Continuous Time.

H. Jerome Keisler

Ann. Pure Appl. Log., 1991

1989

Descriptive Set Theory Over Hyperfinite Sets.

H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth

J. Symb. Log., 1989

1987

Measures and forking.

H. Jerome Keisler

Ann. Pure Appl. Log., 1987

1986

On the Strength of Nonstandard Analysis.

C. Ward Henson, H. Jerome Keisler

J. Symb. Log., 1986

Hyperfinite models of adapted probability logic.

H. Jerome Keisler

Ann. Pure Appl. Log., 1986

A completeness proof for adapted probability logic.

H. Jerome Keisler

Ann. Pure Appl. Log., 1986

1984

The Strength of Nonstandard Methods in Arithmetic.

C. Ward Henson, Matt Kaufmann, H. Jerome Keisler

J. Symb. Log., 1984

1983

Meeting of the Association for Symbolic Logic: Madison 1982.

H. Jerome Keisler

J. Symb. Log., 1983

1979

L_A(\Finv).

Kim B. Bruce, H. Jerome Keisler

J. Symb. Log., 1979

The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic.

John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis

J. Symb. Log., 1979

1978

The Stability Function of a Theory.

H. Jerome Keisler

J. Symb. Log., 1978

1974

A Result Concerning Cardinalities of Ultraproducts.

H. Jerome Keisler, Karel Prikry

J. Symb. Log., 1974

1973

The Diversity of Quantifier Prefixes.

H. Jerome Keisler, Wilbur Walkoe Jr.

J. Symb. Log., 1973

1971

On Theories Categorical in Their Own Power.

H. Jerome Keisler

J. Symb. Log., 1971

1967

Ultraproducts of Finite Sets.

H. Jerome Keisler

J. Symb. Log., 1967

Ultraproducts which are not Saturated.

H. Jerome Keisler

J. Symb. Log., 1967

1965

Some Applications of Infinitely Long Formulas.

H. Jerome Keisler

J. Symb. Log., 1965

Limit Ultraproducts.

H. Jerome Keisler

J. Symb. Log., 1965

1962

An Improved Prenex Normal Form.

Chen C. Chang, H. Jerome Keisler

J. Symb. Log., 1962

1960

Theory of Models with Generalized Atomic Formulas.

H. Jerome Keisler

J. Symb. Log., 1960