default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDH. Jerome Keisler
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j45]H. Jerome Keisler
:
Using ultrapowers to compare continuous structures. Ann. Pure Appl. Log. 175(Issue 1, Part B): 103284 (2024)- 2022
- [j44]Isaac Goldbring, H. Jerome Keisler:
Continuous Sentences Preserved under Reduced Products. J. Symb. Log. 87(2): 649-681 (2022) - 2020
- [j43]Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler, David Marker:
Scattered sentences have few separable randomizations. Arch. Math. Log. 59(5-6): 743-754 (2020)
2010 – 2019
- 2019
- [j42]Uri Andrews, Isaac Goldbring, H. Jerome Keisler:
Independence in randomizations. J. Math. Log. 19(1): 1950005:1-1950005:42 (2019) - 2018
- [j41]Adam Brandenburger, H. Jerome Keisler:
A canonical hidden-variable space. Ann. Pure Appl. Log. 169(12): 1295-1302 (2018) - 2017
- [j40]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): 117-121 (2017) - 2015
- [j39]Uri Andrews, Isaac Goldbring, H. Jerome Keisler:
Definable closure in randomizations. Ann. Pure Appl. Log. 166(3): 325-341 (2015) - [j38]Uri Andrews, H. Jerome Keisler:
Separable Models of Randomizations. J. Symb. Log. 80(4): 1149-1181 (2015) - 2014
- [j37]H. Jerome Keisler, Jeffrey M. Keisler:
Observing, reporting, and deciding in networks of sentences. Ann. Pure Appl. Log. 165(3): 812-836 (2014) - 2013
- [c5]Adam Brandenburger, H. Jerome Keisler:
Use of a Canonical Hidden-Variable Space in Quantum Mechanics. Computation, Logic, Games, and Quantum Foundations 2013: 1-6 - 2012
- [j36]H. Jerome Keisler, Jeffrey M. Keisler:
Craig interpolation for networks of sentences. Ann. Pure Appl. Log. 163(9): 1322-1344 (2012) - 2011
- [j35]H. Jerome Keisler, Wafik Boulos Lotfallah:
Rank Hierarchies for Generalized Quantifiers. J. Log. Comput. 21(2): 287-306 (2011) - 2010
- [j34]H. Jerome Keisler:
Nonstandard arithmetic and recursive comprehension. Ann. Pure Appl. Log. 161(8): 1047-1062 (2010) - [c4]Amanda Friedenberg, H. Jerome Keisler:
Iterated dominance revisited. BQGT 2010: 27:1
2000 – 2009
- 2009
- [j33]H. Jerome Keisler, Wafik Boulos Lotfallah:
Almost everywhere elimination of probability quantifiers. J. Symb. Log. 74(4): 1121-1142 (2009) - 2006
- [j32]H. Jerome Keisler:
Nonstandard arithmetic and reverse mathematics. Bull. Symb. Log. 12(1): 100-125 (2006) - [j31]Adam Brandenburger, H. Jerome Keisler:
An Impossibility Theorem on Beliefs in Games. Stud Logica 84(2): 211-240 (2006) - 2005
- [j30]H. Jerome Keisler, Wafik Boulos Lotfallah:
A local normal form theorem for infinitary logic with unary quantifiers. Math. Log. Q. 51(2): 137-144 (2005) - 2004
- [j29]H. Jerome Keisler, Wafik Boulos Lotfallah:
Shrinking games and local formulas. Ann. Pure Appl. Log. 128(1-3): 215-225 (2004) - [j28]H. Jerome Keisler, Julia F. Knight:
Barwise: infinitary logic and admissible sets. Bull. Symb. Log. 10(1): 4-36 (2004) - [j27]H. Jerome Keisler, Wafik Boulos Lotfallah:
First order quantifiers in~monadic second order logic. J. Symb. Log. 69(1): 118-136 (2004) - 2003
- [j26]Michael Benedikt, H. Jerome Keisler:
Definability with a predicate for a semi-linear set. J. Symb. Log. 68(1): 319-351 (2003) - 2000
- [j25]Renling Jin, H. Jerome Keisler:
Maharam Spectra of Loeb Spaces. J. Symb. Log. 65(2): 550-566 (2000) - [c3]Michael Benedikt, H. Jerome Keisler:
Definability over Linear Constraints. CSL 2000: 217-231
1990 – 1999
- 1998
- [j24]H. Jerome Keisler:
Quantifier Elimination for Neocompact Sets. J. Symb. Log. 63(4): 1442-1472 (1998) - 1997
- [c2]Michael Benedikt, H. Jerome Keisler:
Expressive Power of Unary Counters. Structures in Logic and Computer Science 1997: 34-50 - [c1]Michael Benedikt, H. Jerome Keisler:
Expressive Power of Unary Counters. ICDT 1997: 291-305 - 1993
- [j23]Renling Jin, H. Jerome Keisler:
Game Sentences and Ultrapowers. Ann. Pure Appl. Log. 60(3): 261-274 (1993) - 1992
- [b1]Chen C. Chang, H. Jerome Keisler:
Model theory, Third Edition. Studies in logic and the foundations of mathematics 73, North-Holland 1992, ISBN 978-0-444-88054-3, pp. I-XIII, 1-650 - 1991
- [j22]H. Jerome Keisler:
From Discrete to Continuous Time. Ann. Pure Appl. Log. 52(1-2): 99-141 (1991) - [j21]H. Jerome Keisler, Steven C. Leth:
Meager Sets on the Hyperfinite Time Line. J. Symb. Log. 56(1): 71-102 (1991) - [j20]H. Jerome Keisler, James H. Schmerl:
Making the Hyperreal Line Both Saturated and Complete. J. Symb. Log. 56(3): 1016-1025 (1991)
1980 – 1989
- 1989
- [j19]H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth:
Descriptive Set Theory Over Hyperfinite Sets. J. Symb. Log. 54(4): 1167-1180 (1989) - 1987
- [j18]H. Jerome Keisler:
Measures and forking. Ann. Pure Appl. Log. 34(2): 119-169 (1987) - 1986
- [j17]H. Jerome Keisler:
A completeness proof for adapted probability logic. Ann. Pure Appl. Log. 31: 61-70 (1986) - [j16]H. Jerome Keisler:
Hyperfinite models of adapted probability logic. Ann. Pure Appl. Log. 31: 71-86 (1986) - [j15]C. Ward Henson, H. Jerome Keisler:
On the Strength of Nonstandard Analysis. J. Symb. Log. 51(2): 377-386 (1986) - 1984
- [j14]C. Ward Henson, Matt Kaufmann, H. Jerome Keisler:
The Strength of Nonstandard Methods in Arithmetic. J. Symb. Log. 49(4): 1039-1058 (1984) - 1983
- [j13]H. Jerome Keisler:
Meeting of the Association for Symbolic Logic: Madison 1982. J. Symb. Log. 48(4): 1233-1239 (1983)
1970 – 1979
- 1979
- [j12]Kim B. Bruce, H. Jerome Keisler:
LA(\Finv). J. Symb. Log. 44(1): 15-28 (1979) - [j11]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): 469-480 (1979) - 1978
- [j10]H. Jerome Keisler:
The Stability Function of a Theory. J. Symb. Log. 43(3): 481-486 (1978) - 1974
- [j9]H. Jerome Keisler, Karel Prikry:
A Result Concerning Cardinalities of Ultraproducts. J. Symb. Log. 39(1): 43-48 (1974) - 1973
- [j8]H. Jerome Keisler, Wilbur Walkoe Jr.:
The Diversity of Quantifier Prefixes. J. Symb. Log. 38(1): 79-85 (1973) - 1971
- [j7]H. Jerome Keisler:
On Theories Categorical in Their Own Power. J. Symb. Log. 36(2): 240-244 (1971)
1960 – 1969
- 1967
- [j6]H. Jerome Keisler:
Ultraproducts which are not Saturated. J. Symb. Log. 32(1): 23-46 (1967) - [j5]H. Jerome Keisler:
Ultraproducts of Finite Sets. J. Symb. Log. 32(1): 47-57 (1967) - 1965
- [j4]H. Jerome Keisler:
Limit Ultraproducts. J. Symb. Log. 30(2): 212-234 (1965) - [j3]H. Jerome Keisler:
Some Applications of Infinitely Long Formulas. J. Symb. Log. 30(3): 339-349 (1965) - 1962
- [j2]Chen C. Chang, H. Jerome Keisler:
An Improved Prenex Normal Form. J. Symb. Log. 27(3): 317-326 (1962) - 1960
- [j1]H. Jerome Keisler:
Theory of Models with Generalized Atomic Formulas. J. Symb. Log. 25(1): 1-26 (1960)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
