Search results for "H. Jerome Keisler"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	H. Jerome Keisler, Wafik Boulos Lotfallah	Rank Hierarchies for Generalized Quantifiers.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	H. Jerome Keisler	Nonstandard arithmetic and recursive comprehension.	Ann. Pure Appl. Logic	2010	DBLP DOI BibTeX RDF
1	H. Jerome Keisler, Wafik Boulos Lotfallah	Almost everywhere elimination of probability quantifiers.	J. Symb. Log.	2009	DBLP BibTeX RDF
1	Adam Brandenburger, H. Jerome Keisler	An Impossibility Theorem on Beliefs in Games.	Studia Logica	2006	DBLP DOI BibTeX RDF	belief model, complete belief model, game, modal logic, first order logic, paradox
1	H. Jerome Keisler	Nonstandard arithmetic and reverse mathematics.	Bulletin of Symbolic Logic	2006	DBLP BibTeX RDF
1	H. Jerome Keisler, Wafik Boulos Lotfallah	A local normal form theorem for infinitary logic with unary quantifiers.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
1	H. Jerome Keisler, Wafik Boulos Lotfallah	First order quantifiers in~monadic second order logic.	J. Symb. Log.	2004	DBLP BibTeX RDF
1	H. Jerome Keisler, Julia F. Knight	Barwise: infinitary logic and admissible sets.	Bulletin of Symbolic Logic	2004	DBLP BibTeX RDF
1	H. Jerome Keisler, Wafik Boulos Lotfallah	Shrinking games and local formulas.	Ann. Pure Appl. Logic	2004	DBLP DOI BibTeX RDF
1	Michael Benedikt, H. Jerome Keisler	Definability with a predicate for a semi-linear set.	J. Symb. Log.	2003	DBLP BibTeX RDF
1	Renling Jin, H. Jerome Keisler	Maharam Spectra of Loeb Spaces.	J. Symb. Log.	2000	DBLP BibTeX RDF
1	Michael Benedikt, H. Jerome Keisler	Definability over Linear Constraints.	CSL	2000	DBLP DOI BibTeX RDF
1	H. Jerome Keisler	Quantifier Elimination for Neocompact Sets.	J. Symb. Log.	1998	DBLP BibTeX RDF
1	Michael Benedikt, H. Jerome Keisler	Expressive Power of Unary Counters.	ICDT	1997	DBLP DOI BibTeX RDF
1	Michael Benedikt, H. Jerome Keisler	Expressive Power of Unary Counters.	Structures in Logic and Computer Science	1997	DBLP DOI BibTeX RDF
1	Renling Jin, H. Jerome Keisler	Game Sentences and Ultrapowers.	Ann. Pure Appl. Logic	1993	DBLP DOI BibTeX RDF
1	H. Jerome Keisler, Steven C. Leth	Meager Sets on the Hyperfinite Time Line.	J. Symb. Log.	1991	DBLP BibTeX RDF
1	H. Jerome Keisler, James H. Schmerl	Making the Hyperreal Line Both Saturated and Complete.	J. Symb. Log.	1991	DBLP BibTeX RDF
1	H. Jerome Keisler	From Discrete to Continuous Time.	Ann. Pure Appl. Logic	1991	DBLP DOI BibTeX RDF
1	H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth	Descriptive Set Theory Over Hyperfinite Sets.	J. Symb. Log.	1989	DBLP BibTeX RDF
1	C. Ward Henson, H. Jerome Keisler	On the Strength of Nonstandard Analysis.	J. Symb. Log.	1986	DBLP BibTeX RDF
1	C. Ward Henson, Matt Kaufmann, H. Jerome Keisler	The Strength of Nonstandard Methods in Arithmetic.	J. Symb. Log.	1984	DBLP BibTeX RDF
1	H. Jerome Keisler	Meeting of the Association for Symbolic Logic: Madison 1982.	J. Symb. Log.	1983	DBLP BibTeX RDF
1	Kim B. Bruce, H. Jerome Keisler	LA(\Finv).	J. Symb. Log.	1979	DBLP BibTeX RDF
1	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.	1979	DBLP BibTeX RDF
1	H. Jerome Keisler	The Stability Function of a Theory.	J. Symb. Log.	1978	DBLP BibTeX RDF
1	H. Jerome Keisler, Karel Prikry	A Result Concerning Cardinalities of Ultraproducts.	J. Symb. Log.	1974	DBLP BibTeX RDF
1	H. Jerome Keisler, Wilbur Walkoe Jr.	The Diversity of Quantifier Prefixes.	J. Symb. Log.	1973	DBLP BibTeX RDF
1	H. Jerome Keisler	On Theories Categorical in Their Own Power.	J. Symb. Log.	1971	DBLP BibTeX RDF
1	H. Jerome Keisler	Ultraproducts of Finite Sets.	J. Symb. Log.	1967	DBLP BibTeX RDF
1	H. Jerome Keisler	Ultraproducts which are not Saturated.	J. Symb. Log.	1967	DBLP BibTeX RDF
1	H. Jerome Keisler	Some Applications of Infinitely Long Formulas.	J. Symb. Log.	1965	DBLP BibTeX RDF
1	H. Jerome Keisler	Limit Ultraproducts.	J. Symb. Log.	1965	DBLP BibTeX RDF
1	C. C. Chang, H. Jerome Keisler	An Improved Prenex Normal Form.	J. Symb. Log.	1962	DBLP BibTeX RDF
1	H. Jerome Keisler	Theory of Models with Generalized Atomic Formulas.	J. Symb. Log.	1960	DBLP BibTeX RDF

Publications of "H. Jerome Keisler" ( http://dblp.L3S.de/Authors/H._Jerome_Keisler )