A Direct Proof of Wiener’s Theorem

DOI10.1007/978-3-642-30870-3_30zbMath1358.03094OpenAlexW116766998MaRDI QIDQ2904419

Matthew Hendtlass, Peter M. Schuster

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_30

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Related Items (3)

A universal Krull-Lindenbaum theorem ⋮ Lindenbaum’s Lemma via Open Induction ⋮ On the Constructive and Computational Content of Abstract Mathematics

This page was built for publication: A Direct Proof of Wiener’s Theorem