https://en.formulasearchengine.com/w/index.php?action=history&feed=atom&title=Topological_divisor_of_zero
Topological divisor of zero - Revision history
2026-08-14T20:11:35Z
Revision history for this page on the wiki
MediaWiki 1.47.0-wmf.7
https://en.formulasearchengine.com/w/index.php?title=Topological_divisor_of_zero&diff=10784&oldid=prev
en>Addbot: Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q2443467
2013-03-14T15:18:58Z
<p><a href="/w/index.php?title=User:Addbot&action=edit&redlink=1" class="new" title="User:Addbot (page does not exist)">Bot:</a> Migrating 1 interwiki links, now provided by <a href="https://en.wikipedia.org/wiki/Wikidata" class="extiw" title="wikipedia:Wikidata">Wikidata</a> on <a href="/w/index.php?title=D:q2443467&action=edit&redlink=1" class="new" title="D:q2443467 (page does not exist)">d:q2443467</a></p>
<table style="background-color: #fff; color: #202122;" data-mw-interface="">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 17:18, 14 March 2013</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">Hello and welcome. My name </del>is <del style="font-weight: bold; text-decoration: none;">Irwin and I completely dig that title</del>. <del style="font-weight: bold; text-decoration: none;">He utilized to be unemployed but now he is a pc operator but his promotion </del>by <del style="font-weight: bold; text-decoration: none;">no means arrives</del>. <del style="font-weight: bold; text-decoration: none;">Minnesota </del>is <del style="font-weight: bold; text-decoration: none;">exactly </del>where <del style="font-weight: bold; text-decoration: none;">he's been living for many years</del>. <del style="font-weight: bold; text-decoration: none;">To collect cash </del>is <del style="font-weight: bold; text-decoration: none;">what her family </del>and <del style="font-weight: bold; text-decoration: none;">her enjoy</del>.<<del style="font-weight: bold; text-decoration: none;">br</del>><<del style="font-weight: bold; text-decoration: none;">br</del>><del style="font-weight: bold; text-decoration: none;">Feel free to visit my site; [http:</del>//<del style="font-weight: bold; text-decoration: none;">kpchurch.org</del>/<del style="font-weight: bold; text-decoration: none;">?document_srl</del>=<del style="font-weight: bold; text-decoration: none;">1359143 home std test kit</del>]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">In [[computability theory]] a '''cylindrification''' </ins>is <ins style="font-weight: bold; text-decoration: none;">a construction which associates a [[cylindric numbering]] to each [[numbering (computability theory)|numbering]]</ins>. <ins style="font-weight: bold; text-decoration: none;">The concept was first introduced </ins>by <ins style="font-weight: bold; text-decoration: none;">[[Yuri L. Ershov]] in 1973</ins>.</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">== Definition ==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Given a numbering <math>\nu</math> the '''cyclindrification''' <math>c(\nu)</math> </ins>is <ins style="font-weight: bold; text-decoration: none;">defined as</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">:<math>\mathrm{Domain}(c(\nu)) := \{\langle n, k \rangle | n \in \mathrm{Domain}(\nu)\}</math></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">:<math>c(\nu)\langle n, k \rangle := \nu(i)</math></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>where <ins style="font-weight: bold; text-decoration: none;"><math>\langle n, k \rangle</math> is the [[Cantor pairing function]]</ins>.</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">The cylindrification operation takes a relation as input of arity k and outputs a relation of arity k + 1 as follows : Given a relation R of arity K, its cylindrification denoted by c(R), </ins>is <ins style="font-weight: bold; text-decoration: none;">the following set {(a1,...,ak,a)|(a1,...,ak)belongs to R </ins>and <ins style="font-weight: bold; text-decoration: none;">a belongs to A}. Note that the cylindrification operation increases the arity of an input by 1</ins>.</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">== Properties ==</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Given two numberings </ins><<ins style="font-weight: bold; text-decoration: none;">math</ins>><ins style="font-weight: bold; text-decoration: none;">\nu</ins><<ins style="font-weight: bold; text-decoration: none;">/math</ins>> <ins style="font-weight: bold; text-decoration: none;">and <math>\mu<</ins>/<ins style="font-weight: bold; text-decoration: none;">math> then <math>\nu \le \mu \Leftrightarrow c(\nu) \le_1 c(\mu)<</ins>/<ins style="font-weight: bold; text-decoration: none;">math></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* <math>\nu \le_1 c(\nu)<</ins>/<ins style="font-weight: bold; text-decoration: none;">math></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">== References =</ins>=</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Yu. L. Ershov, "Theorie der Numerierungen I." Zeitschrift für mathematische Logik und Grundlagen der Mathematik '''19''', 289-388 (1973).</ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:Theory of computation]</ins>]</div></td></tr>
</table>
en>Addbot
https://en.formulasearchengine.com/w/index.php?title=Topological_divisor_of_zero&diff=242848&oldid=prev
en>Qetuth: more specific stub type
2011-12-18T04:53:40Z
<p>more specific stub type</p>
<p><b>New page</b></p><div>Hello and welcome. My name is Irwin and I completely dig that title. He utilized to be unemployed but now he is a pc operator but his promotion by no means arrives. Minnesota is exactly where he's been living for many years. To collect cash is what her family and her enjoy.<br><br>Feel free to visit my site; [http://kpchurch.org/?document_srl=1359143 home std test kit]</div>
en>Qetuth