scientific article; zbMATH DE number 6848541
From MaRDI portal
Publication:4606709
zbMATH Open1382.14016MaRDI QIDQ4606709FDOQ4606709
Authors: A. Douady
Publication date: 9 March 2018
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1156830
- scientific article; zbMATH DE number 4059660
- Gentzen's original consistency proof and the bar theorem
- Constructive characterizations of bar subsets
- On the Barth morphism
- scientific article; zbMATH DE number 7692241
- On the Indecomposable Elements of the Bar Construction
- Barbălat and his lemma
- A constructive version of Birkhoff's theorem
- Mappings of bar constructions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4606709)