ISOMORPHISM ON HYP

2016 ◽  
Vol 81 (2) ◽  
pp. 395-399
Author(s):  
SY-DAVID FRIEDMAN
Keyword(s):  
Equivalence Relation ◽  
Elementary Equivalence ◽  
Limit Ordinal ◽  
Image Position ◽  
Scott Rank

AbstractWe show that isomorphism is not a complete ${\rm{\Sigma }}_1^1$ equivalence relation even when restricted to the hyperarithmetic reals: If E1 denotes the ${\rm{\Sigma }}_1^1$ (even ${\rm{\Delta }}_1^1$) equivalence relation of [4] then for no Hyp function f do we have xEy iff f(x) is isomorphic to f(y) for all Hyp reals x,y. As a corollary to the proof we provide for each computable limit ordinal α a hyperarithmetic reduction of ${ \equiv _\alpha }$ (elementary-equivalence for sentences of quantifier-rank less than α) on arbitrary countable structures to isomorphism on countable structures of Scott rank at most α.

scholarly journals FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS

2016 ◽  
Vol 81 (4) ◽  
pp. 1225-1254 ◽  
Author(s):  
RUSSELL MILLER ◽  
KENG MENG NG
Keyword(s):  
Equivalence Relation ◽  
Equivalence Relations ◽  
Arithmetical Hierarchy ◽  
Natural Equivalence ◽  
Image Position ◽  
The Way

AbstractWe introduce the notion of finitary computable reducibility on equivalence relations on the domainω. This is a weakening of the usual notion of computable reducibility, and we show it to be distinct in several ways. In particular, whereas no equivalence relation can be${\rm{\Pi }}_{n + 2}^0$-complete under computable reducibility, we show that, for everyn, there does exist a natural equivalence relation which is${\rm{\Pi }}_{n + 2}^0$-complete under finitary reducibility. We also show that our hierarchy of finitary reducibilities does not collapse, and illustrate how it sharpens certain known results. Along the way, we present several new results which use computable reducibility to establish the complexity of various naturally defined equivalence relations in the arithmetical hierarchy.

On Torsion-Free Groups of Finite Rank

1984 ◽  
Vol 36 (6) ◽  
pp. 1067-1080 ◽  
Author(s):  
David Meier ◽  
Akbar Rhemtulla
Keyword(s):  
Equivalence Class ◽  
Equivalence Relation ◽  
Finite Rank ◽  
Maximal Element ◽  
Free Groups ◽  
Solvable Groups ◽  
Finitely Generated ◽  
Isolated Subgroup ◽  
Image Position ◽  
Torsion Free

This paper deals with two conditions which, when stated, appear similar, but when applied to finitely generated solvable groups have very different effect. We first establish the notation before stating these conditions and their implications. If H is a subgroup of a group G, let denote the setWe say G has the isolator property if is a subgroup for all H ≦ G. Groups possessing the isolator property were discussed in [2]. If we define the relation ∼ on the set of subgroups of a given group G by the rule H ∼ K if and only if , then ∼ is an equivalence relation and every equivalence class has a maximal element which may not be unique. If , we call H an isolated subgroup of G.

scholarly journals An amenable equivalence relation is generated by a single transformation

1981 ◽  
Vol 1 (4) ◽  
pp. 431-450 ◽  
Author(s):  
A. Connes ◽  
J. Feldman ◽  
B. Weiss
Keyword(s):  
Equivalence Relation ◽  
Cartan Subalgebras ◽  
Singular Transformation ◽  
Image Position ◽  
Null Set

AbstractWe prove that for any amenable non-singular countable equivalence relation R⊂X×X, there exists a non-singular transformation T of X such that, up to a null set:It follows that any two Cartan subalgebras of a hyperfinite factor are conjugate by an automorphism.

On Cantor-Bendixson spectra containing (1,1). II

1985 ◽  
Vol 50 (3) ◽  
pp. 611-618 ◽  
Author(s):  
Annalisa Marcja ◽  
Carlo Toffalori
Keyword(s):  
Boolean Algebras ◽  
Stable Theory ◽  
Definable Subset ◽  
Limit Ordinal ◽  
Image Position ◽  
Countable Models

Let T be a (countable, complete, quantifier eliminable) ω-stable theory; an analysis of T, and consequently a classification of ω-stable theories, can be done by looking at the Boolean algebras B(M) of definable subsets of its countable models M (as usual, we often confuse a definable subset of M with the class of formulas defining it). If M ⊨ T, ∣M∣ = ℵ0, then, for every LM-formula ϕ(v) and for every ordinal α, we define a relation(CB = Cantor-Bendixson, of course) by induction on α:CB-rank ϕ(v) ≥ 0 if ϕ(M) ≠ ∅CB-rank ϕ(v) ≥ λ for λ a limit ordinal, if CB-rank ϕ(v) ≥ for all v < λ;CB-rank ϕ(v)≥ α + 1 if, for all n ∈ ω,(*) there are LM-formulas ϕ0(v), …, ϕn − 1(v) such thatIt is well known that the ω-stability of T implies that, for every consistent LM-formula ϕ(v), there is exactly one ordinal α < ω1 such that CB-rank ϕ(v) ≥ α and CB-rank ϕ(v)≱α + 1. Therefore we define:CB-rank ϕ(v) = αCB-degree ϕ(v) = d if d is the maximal n ∈ ω satisfying (*); andCB-type ϕ(v) = (α, d).

CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE

2017 ◽  
Vol 82 (2) ◽  
pp. 489-509
Author(s):  
PAUL LARSON ◽  
JINDŘICH ZAPLETAL
Keyword(s):  
Equivalence Relation ◽  
Axiom Of Choice ◽  
Canonical Models ◽  
Develop Technology ◽  
Image Position ◽  
The Axiom Of Choice

AbstractWe develop technology for investigation of natural forcing extensions of the model $L\left( \mathbb{R} \right)$ which satisfy such statements as “there is an ultrafilter” or “there is a total selector for the Vitali equivalence relation”. The technology reduces many questions about ZF implications between consequences of the Axiom of Choice to natural ZFC forcing problems.

scholarly journals COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS

2016 ◽  
Vol 81 (3) ◽  
pp. 814-832 ◽  
Author(s):  
JULIA KNIGHT ◽  
ANTONIO MONTALBÁN ◽  
NOAH SCHWEBER
Keyword(s):  
Positive Result ◽  
Generic Extension ◽  
Ground Model ◽  
Rigid Structure ◽  
Basic Properties ◽  
Image Position ◽  
Scott Rank ◽  
The Universe ◽  
Generic Extensions ◽  
Countable Structure

AbstractIn this paper, we investigate connections between structures present in every generic extension of the universe V and computability theory. We introduce the notion of generic Muchnik reducibility that can be used to compare the complexity of uncountable structures; we establish basic properties of this reducibility, and study it in the context of generic presentability, the existence of a copy of the structure in every extension by a given forcing. We show that every forcing notion making ω2 countable generically presents some countable structure with no copy in the ground model; and that every structure generically presentable by a forcing notion that does not make ω2 countable has a copy in the ground model. We also show that any countable structure ${\cal A}$ that is generically presentable by a forcing notion not collapsing ω1 has a countable copy in V, as does any structure ${\cal B}$ generically Muchnik reducible to a structure ${\cal A}$ of cardinality ℵ1. The former positive result yields a new proof of Harrington’s result that counterexamples to Vaught’s conjecture have models of power ℵ1 with Scott rank arbitrarily high below ω2. Finally, we show that a rigid structure with copies in all generic extensions by a given forcing has a copy already in the ground model.

ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE

2019 ◽  
Vol 85 (1) ◽  
pp. 325-337
Author(s):  
HOWARD BECKER
Keyword(s):  
Isomorphism Type ◽  
Formula One ◽  
Image Position ◽  
Scott Rank

AbstractLet L be a computable vocabulary, let XL be the space of L-structures with universe ω and let $f:{2^\omega } \to {X_L}$ be a hyperarithmetic function such that for all $x,y \in {2^\omega }$, if $x{ \equiv _h}y$ then $f\left( x \right) \cong f\left( y \right)$. One of the following two properties must hold. (1) The Scott rank of f (0) is $\omega _1^{CK} + 1$. (2) For all $x \in {2^\omega },f\left( x \right) \cong f\left( 0 \right)$.

Products of distribution functions attracted to extreme value laws

1971 ◽  
Vol 8 (04) ◽  
pp. 781-793 ◽  
Author(s):  
Sidney I. Resnick
Keyword(s):  
Equivalence Relation ◽  
Complete Convergence ◽  
Convex Sets ◽  
Domain Of Attraction ◽  
Extreme Value ◽  
Distribution Functions ◽  
Image Position

When is the product of the d.f.'s H 1(·), ···, Hm (·) attracted to an extreme value law φ(x)? We associate with each Hi (·) its A-function Hi (x) is attracted to φ(x) if each Hi (x) is in the domain of attraction of φ(x) and Ai (z) ~ Aj (z), 1 ≦ i, j ≦ m. Equivalence of A-functions determines an equivalence relation which partitions the domain of attraction of φ(x)into one or more convex sets. These sets fail to be closed under passages to the limit (complete convergence).

Bi-Borel reducibility of essentially countable Borel equivalence relations

2005 ◽  
Vol 70 (3) ◽  
pp. 979-992 ◽  
Author(s):  
Greg Hjorth
Keyword(s):  
Equivalence Relation ◽  
Equivalence Relations ◽  
Borel Space ◽  
Borel Equivalence Relations ◽  
Borel Equivalence Relation ◽  
Standard Borel Space ◽  
Borel Reducibility ◽  
New Feature ◽  
Borel Probability ◽  
Image Position

This note answers a questions from [2] by showing that considered up to Borel reducibility, there are more essentially countable Borel equivalence relations than countable Borel equivalence relations. Namely:Theorem 0.1. There is an essentially countable Borel equivalence relation E such that for no countable Borel equivalence relation F (on a standard Borel space) do we haveThe proof of the result is short. It does however require an extensive rear guard campaign to extract from the techniques of [1] the followingMessy Fact 0.2. There are countable Borel equivalence relationssuch that:(i) eachExis defined on a standard Borel probability space (Xx, μx); each Ex is μx-invariant and μx-ergodic;(ii) forx1 ≠ x2 and A μxι -conull, we haveExι/Anot Borel reducible toEx2;(iii) if f: Xx → Xxis a measurable reduction ofExto itself then(iv)is a standard Borel space on which the projection functionis Borel and the equivalence relation Ê given byif and only ifx = x′ andzExz′ is Borel;(V)is Borel.We first prove the theorem granted this messy fact. We then prove the fact.(iv) and (v) are messy and unpleasant to state precisely, but are intended to express the idea that we have an effective parameterization of countable Borel equivalence relations by points in a standard Borel space. Examples along these lines appear already in the Adams-Kechris constructions; the new feature is (iii).Simon Thomas has pointed out to me that in light of theorem 4.4 [5] the Gefter-Golodets examples of section 5 [5] also satisfy the conclusion of 0.2.

On the ring of differentially-algebraic entire functions

1992 ◽  
Vol 57 (2) ◽  
pp. 449-451 ◽  
Author(s):  
Lee A. Rubel
Keyword(s):  
Differential Equation ◽  
Finite Length ◽  
Complex Variable ◽  
Entire Functions ◽  
Algebraic Differential Equation ◽  
Elementary Equivalence ◽  
First Order ◽  
Order Language ◽  
Image Position

Let be the ring of all entire functions of one complex variable, and let DA be the subring of those entire functions that are differentially algebraic (DA); that is, they satisfy a nontrivial algebraic differential equation.where P is a non-identically-zero polynomial in its n + 2 variables. It seems not to be known whether DA is elementarily equivalent to . This would mean that DA and have exactly the same true statements about them, in the first-order language of rings. (Roughly speaking, a sentence about a ring R is first-order if it has finite length and quantifies only over elements (i.e., not subsets or functions or relations) of R.) It follows from [NAN] that DA and are not isomorphic as rings, but this does not answer the question of elementary equivalence.

Sign in / Sign up

Export Citation Format

Share Document