1 citations · 1 across the 2 of their papers we have counts for
4 papers · 1 filter
Continuous Craig Interpolation
H. Jerome Keisler
We prove analogues of the Craig interpolation theorem for the continuous model theory of metric structures.
Model Theory for Real-valued Structures
H. Jerome Keisler
We consider general structures where formulas have truth values in the real unit interval as in continuous model theory, but whose predicates and functions need not be uniformly co…
Continuous Sentences Preserved Under Reduced Products
Isaac Goldbring, H. Jerome Keisler
Answering a question of Cifú Lopes, we give a syntactic characterization of those continuous sentences that are preserved under reduced products of metric structures. In fact, we s…
Algebraic Independence Relations in Randomizations
Uri Andrews, Isaac Goldbring, H. Jerome Keisler
We study the properties of algebraic independence and pointwise algebraic independence in a class of continuous theories, the randomizations of complete first order theories…