On equivalence relations second order definable over H(κ)
نویسندگان
چکیده
منابع مشابه
On equivalence relations second order definable over H(κ)
Let κ be an uncountable regular cardinal. Call an equivalence relation on functions from κ into 2 second order definable over H(κ) if there exists a second order sentence φ and a parameter P ⊆ H(κ) such that functions f and g from κ into 2 are equivalent iff the structure 〈H(κ),∈, P, f, g〉 satisfies φ. The possible numbers of equivalence classes of second order definable equivalence relations c...
متن کاملOn equivalence relations Σ1-definable over H(κ)
Let κ be an uncountable regular cardinal. Call an equivalence relation on functions from κ into 2 Σ11-definable over H(κ) if there is a first order sentence φ and a parameter R ⊆ H(κ) such that functions f, g ∈ κ2 are equivalent iff for some h ∈ κ2, the structure 〈H(κ),∈, R, f, g, h〉 satisfies φ, where ∈, R, f , g, and h are interpretations of the symbols appearing in φ. All the values μ, 1 ≤ μ...
متن کاملDefinable Transversals of Analytic Equivalence Relations
We examine the circumstances under which certain analytic equivalence relations on Polish spaces have definable transversals.
متن کاملZeta Functions from Definable Equivalence Relations
We prove that the theory of the p-adics Qp, together with a set of explicitly given sorts, admits elimination of imaginaries. Using p-adic integration, we deduce the rationality of certain formal zeta functions arising from definable equivalence relations. As an application, we prove rationality results for zeta functions obtained by counting isomorphism classes of irreducible representations o...
متن کاملOn the Size of Quotients by Definable Equivalence Relations
The study of simply definable equivalence relations, and in particular of Borei and analytic ones, on Polish spaces, has attracted a lot of attention in descriptive set theory since 1970, when the first fundamental result in the subject, Silver's theorem, was proved. One motivation has certainly been the conjecture of Vaught in model theory, one of the oldest still open problems in mathematical...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2002
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm174-1-1