<?xml version='1.0' encoding='utf-8'?>
<?xml-stylesheet type="text/xsl" href="/v2/static/oai2.xsl"?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
  <responseDate>2026-10-07T03:57:59Z</responseDate>
  <request identifier="oai:figshare.com:article/33915316" metadataPrefix="oai_dc" verb="GetRecord">https://api.figshare.com/v2/oai</request>
  <GetRecord>
    <record>
      <header>
        <identifier>oai:figshare.com:article/33915316</identifier>
        <datestamp>2026-09-17T22:14:44Z</datestamp>
        <setSpec>category_29809</setSpec>
        <setSpec>category_29785</setSpec>
        <setSpec>category_29845</setSpec>
        <setSpec>item_type_2</setSpec>
        <setSpec>month_year_09_2026</setSpec>
      </header>
      <metadata>
        <oai_dc:dc xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"  xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
          <dc:title>A Recursive Sifting Framework for the Goldbach Conjecture via Cross-Addition Density</dc:title>
          <dc:creator>Walter Lamparter (25065721)</dc:creator>
          <dc:subject>Experimental mathematics</dc:subject>
          <dc:subject>Algebraic structures in mathematical physics</dc:subject>
          <dc:subject>Mathematical logic, set theory, lattices and universal algebra</dc:subject>
          <dc:subject>Goldbach (1742) for the Goldbach Conjecture.</dc:subject>
          <dc:description>&lt;p dir="ltr"&gt;This paper establishes a structural and deterministic proof of the Goldbach Conjecture by introducing a recursive sifting framework. By partitioning the number line into a computationally verified base (Zone 1) and an analytically bounded asymptotic domain (Zone 2) governed by advanced sieve-theoretic error bounds, this paper examines the cross- addition sumsets generated iteratively between a growing base set of primes and newly emerging sift primes within intervals dictated by Bertrand’s Postulate. This paper proves that the density of cross-addition prime pairs scales at a super-linear rate, and through explicit sieve remainder estimates, decadal modular closure, and structural sift-prime resolution, local residual voids are shown to be permanently eliminated for all p &gt; N. Furthermore, the foundational mechanics of this framework are formally verified using the Lean 4 interactive theorem prover to eliminate circularity and post-hoc test critiques.&lt;/p&gt;</dc:description>
          <dc:date>2026-09-17T22:14:44Z</dc:date>
          <dc:type>Dataset</dc:type>
          <dc:type>Media</dc:type>
          <dc:identifier>10.6084/m9.figshare.33915316.v1</dc:identifier>
          <dc:relation>https://figshare.com/articles/media/A_Recursive_Sifting_Framework_for_the_Goldbach_Conjecture_via_Cross-Addition_Density/33915316</dc:relation>
          <dc:rights>CC BY 4.0</dc:rights>
        </oai_dc:dc>
      </metadata>
    </record>
  </GetRecord>
</OAI-PMH>
