Journal of Symbolic Logic 54 (3):894-914 (1989)
|Abstract||We introduce a reducibility preordering between classes of countable structures, each class containing only structures of a given similarity type (which is allowed to vary from class to class). Though we sometimes work in a slightly larger context, we are principally concerned with the case where each class is an invariant Borel class (i.e. the class of all models, with underlying set = ω, of an L ω 1 ω sentence; from this point of view, the reducibility can be thought of as a (rather weak) sort of L ω 1 ω -interpretability notion). We prove a number of general results about this notion, but our main thrust is to situate various mathematically natural classes with respect to the preordering, most notably classes of algebraic structures such as groups and fields|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Massoud Pourmahdian (2002). Smooth Classes Without AC and Robinson Theories. Journal of Symbolic Logic 67 (4):1274-1294.
Wesley Calvert (2005). The Isomorphism Problem for Computable Abelian P-Groups of Bounded Length. Journal of Symbolic Logic 70 (1):331 - 345.
Greg Hjorth (2005). Bi-Borel Reducibility of Essentially Countable Borel Equivalence Relations. Journal of Symbolic Logic 70 (3):979 - 992.
Victor Harnik & Michael Makkai (1976). Applications of Vaught Sentences and the Covering Theorem. Journal of Symbolic Logic 41 (1):171-187.
Samuel Coskey & Joel David Hamkins (2010). Infinite Time Decidable Equivalence Relation Theory. Notre Dame Journal of Formal Logic 52 (2):203-228.
Shaughan Lavine (1992). A Spector-Gandy Theorem for cPCd(A) Classes. Journal of Symbolic Logic 57 (2):478 - 500.
Shaughan Lavine (1993). Generalized Reduction Theorems for Model-Theoretic Analogs of the Class of Coanalytic Sets. Journal of Symbolic Logic 58 (1):81-98.
Joël Combase (2011). A Silver-Like Perfect Set Theorem with an Application to Borel Model Theory. Notre Dame Journal of Formal Logic 52 (4):415-429.
Shaughan Lavine (1991). Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory. Journal of Symbolic Logic 56 (4):1290-1316.
Added to index2009-01-28
Total downloads3 ( #202,008 of 549,124 )
Recent downloads (6 months)1 ( #63,361 of 549,124 )
How can I increase my downloads?