Franziskus Wiesnet

Identifiers

• name variant Franziskus Wiesnet 0.60 · backfill

Papers (3)

1. On the Limits of Recursive Characterizations in the Refined $A$-Translation math.LO · 2026 · author #1
2. Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives math.LO · 2025 · author #1
3. An algorithmic approach to the existence of ideal objects in commutative algebra cs.LO · 2019 · author #3

Mentions

• 2504.03460 #1 · arxiv_oai · confidence 0.70 Franziskus Wiesnet
• 2605.20452 #1 · arxiv_oai · confidence 0.70 Franziskus Wiesnet

Frequent Coauthors

• Peter M Schuster 1 shared papers
• Thomas Powell 1 shared papers