Franziskus Wiesnet

collaborators

4 papers

math.LO2026

On the Limits of Recursive Characterizations in the Refined $A$ -Translation

Franziskus Wiesnet

This paper studies the limits of recursive classifications in proof theory and program extraction, using the refined $A$ -translation as a central example. The refined $A$ -translati…

math.LO2026

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives

Franziskus Wiesnet

This article revisits standard theorems from elementary number theory from a constructive, algorithmic, and proof-theoretic perspective, framed within the theory of computable func…

math.LO2025

Material Interpretation and Constructive Analysis of Maximal Ideals in $Z [X]$

Franziskus Wiesnet

This article presents the concept of material interpretation as a method to transform classical proofs into constructive ones. Using the case study of maximal ideals in $\mathbb{Z}…

cs.LO2025

Limits with Signed Digit Streams

Franziskus Wiesnet

We work with the signed digit representation of abstract real numbers, which roughly is the binary representation enriched by the additional digit -1. The main objective of this pa…

On the Limits of Recursive Characterizations in the Refined A-Translation

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives

Material Interpretation and Constructive Analysis of Maximal Ideals in Z[X]

Limits with Signed Digit Streams

On the Limits of Recursive Characterizations in the Refined $A$ -Translation

Material Interpretation and Constructive Analysis of Maximal Ideals in $Z [X]$