a),h(a) \in A$ for all $a \in A$, we have that $g(a) \mid f(a)$ for all $a \in A$.

Search until we find $n+1$ many distinct elements $a_0,a_1,\dots,a_n \in A$ such that $f(a_i) \neq 0$ for all $i$ (such $a_i$ exist because $A$ is infinite and $f(x)$ has at most $n$ roots in $A$). Since $A$ is an SCFFD, we have that $f(a_i)$ has only finitely many divisors for each $i$, and we can compute the finite sets $D(f(a_i))$. Suppose that we pick elements $b_i \in D(f(a_i))$ for each $i$. From Lemma \[l:InterpoteAndCheckIfInA\], there is a unique element $p(x) \in F[x]$ with $\deg(p(x)) \leq n$ and $p(a_i) = b_i$ for all $i$, and we can compute this polynomial $p(x)$ and determine if $p(x) \in A[x]$. As we do this for each choice of the $b_i$, we obtain a finite subset of $A[x]$ of all possible divisors of $f(x)$. Now using Lemma \[l:DivisibilityRelationOnPolyRingIsComputable\], we can thin out this set to form the actual finite set of divisors of $f(x)$.

Irreducibles Computable and Primes Noncomputable
================================================

Let $A$ be an integral domain that is an SCFFD and suppose that $q$ is a prime of $A$. Suppose that we want to destroy the primeness of $q$ while maintaining its irreducibility (say in response to a $\Sigma_1^0$ event such as the halting of a program). The idea is to introduce a new element $x$ so that $q \mid x^2$ but $q \nmid x$. If we let $F$ be the field of fractions of $A$, then we can accomplish this by working in $F[x]$, and extending $A$ to the subring $A[\frac{x^2
a),h(a) \in A$ for all $ a \in A$, we have that $ g(a) \mid f(a)$ for all $ a \in A$. 

 Search until we find $ n+1 $ many distinct elements $ a_0,a_1,\dots, a_n \in A$ such that $ f(a_i) \neq 0 $ for all $ i$ (such $ a_i$ exist because $ A$ is countless and $ f(x)$ have at most $ n$ roots in $ A$). Since $ A$ is an SCFFD, we get that $ f(a_i)$ have only finitely many divisors for each $ i$, and we can calculate the finite sets $ D(f(a_i))$. Suppose that we pick component $ b_i \in D(f(a_i))$ for each $ i$. From Lemma \[l: InterpoteAndCheckIfInA\ ], there is a unique chemical element $ p(x) \in F[x]$ with $ \deg(p(x) ) \leq n$ and $ p(a_i) = b_i$ for all $ i$, and we can compute this polynomial $ p(x)$ and determine if $ p(x) \in A[x]$. As we serve this for each choice of the $ b_i$, we obtain a finite subset of $ A[x]$ of all possible divisors of $ f(x)$. Now use Lemma \[l: DivisibilityRelationOnPolyRingIsComputable\ ], we can thin out this set to form the actual finite hardening of divisors of $ f(x)$. 

 Irreducibles Computable and Primes Noncomputable 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Let $ A$ be an integral sphere that is an SCFFD and suppose that $ q$ is a prime of $ A$. Suppose that we want to destroy the primeness of $ q$ while conserve its irreducibility (say in response to a $ \Sigma_1 ^ 0 $ event such as the halting of a program). The idea is to precede a modern element $ x$ so that $ q \mid x^2 $ but $ q \nmid x$. If we let $ F$ be the field of fractions of $ A$, then we can accomplish this by working in $ F[x]$, and extending $ A$ to the subring $ A[\frac{x^2
a),h(a) \in A$ for all $a \in A$, we mave that $g(a) \mid f(a)$ for all $a \in A$.

Seafch until we find $n+1$ many disvincr elenents $a_0,a_1,\dots,a_n \in A$ suzh that $f(w_i) \neq 0$ dor ell $i$ (such $a_i$ exmat becamfe $A$ ls inyiiite and $f(x)$ has at most $n$ roots in $A$). Sitcd $C$ is an SCFFD, we have that $f(a_i)$ has ogly finotfly many divisjrs gjr ezbh $i$, and we can compute the finjte setv $D(f(a_i))$. Supposr that we pick elements $b_i \in F(f(a_i))$ for each $i$. Frlm Lemma \[l:Ibter[iteAndCheckIwInA\], there is a unique element $p(x) \in F[x]$ with $\deg(p(x)) \led n$ aud $p(a_i) = b_i$ doe apn $i$, and we ran coipute this polynomian $p(x)$ anc determine if $p(x) \in A[x]$. As we do this for each choice of thg $b_i$, we obdann a finite subset of $A[z]$ of dll [osskvle dibixods of $v(x)$. Iow using Lsmma \[l:DivisubilityRelationOnPokyWpmgIsComputabme\], we sag thin out this set to form the actual xinjte set of divisors of $d(x)$.

Irreducibles Computwble and [rimes Noncomputable
================================================

Let $A$ be an integral domain tvat ia an SGFFD qnf suppose that $q$ is a prime of $A$. Suppose that se wsnt to destroy the primenrsd ps $q$ while maivtainiuf jts irreducibility (say in respinse to a $\Sigka_1^0$ event such as the haltint of a progrcm). Rhe idea is to intxoduce a new elekent $c$ so that $q \mid x^2$ but $q \nmis x$. If we lft $F$ be tgd field of fractkonx mf $A$, then we can accomplisr this by worling in $F[x]$, snd exeending $A$ ho thc subring $A[\frac{x^2
a),h(a) \in A$ for all $a \in have $g(a) \mid for all $a find many distinct elements \in A$ such $f(a_i) \neq 0$ for all $i$ $a_i$ exist because $A$ is infinite and $f(x)$ has at most $n$ roots $A$). Since $A$ is an SCFFD, we have that $f(a_i)$ has only finitely divisors each and can compute the finite sets $D(f(a_i))$. Suppose that we pick elements $b_i \in D(f(a_i))$ for each From Lemma \[l:InterpoteAndCheckIfInA\], there is a unique element \in F[x]$ with $\deg(p(x)) n$ and $p(a_i) = b_i$ all and we compute polynomial and determine if \in A[x]$. As we do this for each choice of the $b_i$, we obtain a finite subset $A[x]$ of divisors of Now Lemma we can thin set to form the actual finite of $f(x)$. Irreducibles Computable and Primes Noncomputable ================================================ $A$ be integral domain that is an SCFFD suppose that $q$ is a prime of $A$. that we want to destroy the primeness of $q$ while maintaining its irreducibility (say in a $\Sigma_1^0$ event such the halting of program). idea to a new $x$ so that $q \mid x^2$ but $q \nmid x$. If let $F$ be the field of fractions of $A$, then accomplish by working in and extending $A$ to subring
a),h(a) \in A$ for all $a \in A$, we have thaT $g(a) \mid f(a)$ foR all $a \In A$.

seaRcH untIl we Find $n+1$ many distiNCt elEments $a_0,a_1,\dots,a_n \in A$ such tHat $f(a_I) \nEQ 0$ for ALl $I$ (such $A_i$ exist BEcAUSe $A$ Is InFinItE AnD $f(x)$ haS at Most $n$ roOts in $A$). SincE $A$ iS aN SCFFD, we have THaT $f(a_i)$ has onlY fiNitely many diVisOrs for EaCh $i$, ANd we cAn cOmputE the fiNIte setS $D(f(a_i))$. SuppOsE That we PIck elemENTs $B_i \in d(f(a_i))$ for each $i$. From LEMmA \[L:InterpoteAndCHeckIfina\], ThERE is A unIque elemenT $p(X) \in F[x]$ WIth $\deg(p(X)) \LeQ N$ ANd $p(A_I) = b_i$ for all $i$, and We can computE ThiS polynOmIal $P(X)$ and deTermiNe IF $p(x) \In A[x]$. As we do tHis fOr each choIce of tHE $b_i$, we obTAin a finIte subSet Of $A[X]$ of aLL pOsSibLe DIviSOrS of $F(X)$. NoW using LeMmA \[l:divisIbilITYrElatIononPoLyRinGIsComputable\], We cAn thIN ouT this Set to Form ThE actuAl finiTe set Of Divisors of $f(x)$.

IrrEducIbles CompUtaBlE anD PRimes nOncompUtaBle
================================================

let $A$ be aN integrAL doMaIN THaT is an SCFFD and suppoSe THAt $Q$ is a primE of $A$. SuPPoSe THat we wanT tO deStroY THe priMeneSS oF $q$ while mAintaiNInG iTs irredUcIbilitY (sAy iN reSponsE To a $\SIgma_1^0$ evEnt such aS the hALting of a prograM). the idea is to inTRoDUCe A New eLemEnt $x$ so that $q \Mid x^2$ BUt $q \nMid x$. iF wE leT $f$ be thE fielD oF FrACtions of $A$, then we can aCcOmplisH this By working in $F[x]$, And extendiNG $a$ To the subRing $a[\FrAC{x^2
a),h(a) \in A$ for all $a\in A$, we  have  th at$g (a)\mid  f(a)$ for all $a \ in A$.

Search until w e fin d$ n+1$ ma ny di stincte le m e nts  $ a_ 0,a _1 , \d ots,a _n\in A$such that$f( a_ i) \neq 0$ f o rall $i$ (s uch  $a_i$ exist  be cause$A $ i s  infi nit e and  $f(x) $  has a t most $n $r oots i n  $A$).S i nc e $A $ is an SCFFD, we ha v e that $f(a_i) $ hason l yf i nit ely  many divi so rs fo r  each $ i $, a n d w e  can computethe finites ets  $D(f( a_ i)) $ . Supp ose t ha t  we  pick eleme nts$b_i \inD(f(a_ i ))$ for each $i $. Fro m L emm a \[ l :I nt erp ot e And C he ckI f InA \], ther eis  a un ique e l e ment  $p (x)\in F [x]$ with $\d eg( p(x) )  \l eq n$  and$p(a _i ) = b _i$ fo r all  $ i$, and we cancomp ute thispol yn omi al  $p(x ) $ anddet erm ine if$p(x) \ i n A [x ] $ .  A s we do this for e ac h ch oice ofthe $b _ i$ ,w e obtain  a  fi nite s ubset  of$ A[ x]$ of a ll pos s ib le  diviso rs  of $f (x )$.  No w usi n g Le mma \[ l:Divisi bilit y RelationOnPoly R ingIsComputab l e\ ] ,  w e  can  th in out this  set to f ormt he  ac t ual f inite  s e to f divisors of $f(x) $. 

Irre ducib les Computabl e and Prim e s Noncompu tabl e 
= = ============== ===== ========== = ======== ===== ===

Let  $A$ be a n integral  do mai n t hat i san SCFFD ands u ppos ethat $q $ i s a pri meof$A$ . S up pose that  we want  t ode st roy  thep rimeness  o f $ q$  wh ile m a intain ing i ts i rr ed u cib ility ( s ay i n re sp on se t o a  $ \Sigm a_1^ 0 $ e vent su ch as the  ha l ting  o fa progr am). The idea  i s to intro du cea newe l ement $x $ so that $q \mid x^2$b ut $q \ nmi d x$.  Ifwe let $F $ b e thefie l d of f ractio ns of  $ A$, t hen w e ca n a cc omplish th i s  by  work in g in  $F[x]$ , and extending $A $  to  the subring$A[ \fra c { x^ 2
a),h(a) \in_A$ for_all $a \in A$,_we have_that_$g(a) \mid_f(a)$_for all $a_\in A$.

Search until_we find $n+1$ many_distinct elements $a_0,a_1,\dots,a_n_\in_A$ such that $f(a_i) \neq 0$ for all $i$ (such $a_i$ exist because $A$_is_infinite and_$f(x)$_has_at most $n$ roots in_$A$). Since $A$ is an_SCFFD, we_have that $f(a_i)$ has only finitely many divisors_for_each $i$, and_we can compute the finite sets $D(f(a_i))$. Suppose that_we pick elements $b_i \in D(f(a_i))$_for each $i$._From_Lemma_\[l:InterpoteAndCheckIfInA\], there is a_unique element $p(x) \in F[x]$ with_$\deg(p(x)) \leq n$ and $p(a_i) =_b_i$ for all $i$, and we can_compute this polynomial $p(x)$ and determine_if $p(x) \in A[x]$. As_we do_this for each choice of_the $b_i$, we_obtain a_finite subset of_$A[x]$ of all possible divisors of_$f(x)$. Now using_Lemma \[l:DivisibilityRelationOnPolyRingIsComputable\], we can thin out_this_set to form_the_actual_finite set_of divisors of_$f(x)$.

Irreducibles_Computable and_Primes_Noncomputable
================================================

Let $A$ be an integral domain_that_is an SCFFD and suppose that $q$_is a prime of_$A$._Suppose that we want_to destroy the primeness of_$q$ while maintaining its irreducibility (say_in response_to a_$\Sigma_1^0$ event such as the halting of a program). The idea_is to introduce a new element_$x$ so that $q_\mid x^2$_but_$q \nmid x$._If_we let_$F$ be the field of fractions of_$A$, then_we can accomplish this by working_in $F[x]$, and extending_$A$_to the subring $A[\frac{x^2