A constructive version of Birkhoff's theorem

DOI10.1002/MALQ.200710023MaRDI QIDQ5448613zbMATH OpenOpenAlexFDO

Authors Jesper Carlström

Publication date 7 March 2008

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200710023

zbMATH Keywords

predicativityuniversal algebravariety

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Other constructive mathematics (03F65)

Recommendations

• A two-dimensional Birkhoff's theorem
• A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
• scientific article; zbMATH DE number 2242853
• Publication:4489059
• scientific article; zbMATH DE number 1157018

Cited in

(5)

• A Meshkov-type construction for the borderline case.
• A new constructive version of Baire's theorem
• scientific article; zbMATH DE number 6848541 (Why is no real title available?)
• A constructive proof of Kirszbraun's theorem
• On strict strong constructibility with a compass alone

This page was built for publication: A constructive version of Birkhoff's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448613)