Translator Disclaimer
March 2012 Thorn-forking in continuous logic
Clifton Ealy, Isaac Goldbring
J. Symbolic Logic 77(1): 63-93 (March 2012). DOI: 10.2178/jsl/1327068692

Abstract

We study thorn forking and rosiness in the context of continuous logic. We prove that the Urysohn sphere is rosy (with respect to finitary imaginaries), providing the first example of an essentially continuous unstable theory with a nice notion of independence. In the process, we show that a real rosy theory which has weak elimination of finitary imaginaries is rosy with respect to finitary imaginaries, a fact which is new even for discrete first-order real rosy theories.

Citation

Download Citation

Clifton Ealy. Isaac Goldbring. "Thorn-forking in continuous logic." J. Symbolic Logic 77 (1) 63 - 93, March 2012. https://doi.org/10.2178/jsl/1327068692

Information

Published: March 2012
First available in Project Euclid: 20 January 2012

zbMATH: 1257.03059
MathSciNet: MR2951630
Digital Object Identifier: 10.2178/jsl/1327068692

Rights: Copyright © 2012 Association for Symbolic Logic

JOURNAL ARTICLE
31 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.77 • No. 1 • March 2012
Back to Top