Constructive Order Completeness (2004)

Cached

Download Links

by Marian Alexandru Baroni
Citations:2 - 2 self

Documents Related by Co-Citation

3 Linear Order in Lattices: A Constructive Study – N Greenleaf - 1978
2 Informal Constructive Reverse Mathematics – H Ishihara - 2004
3 Constructive Continuity, Memoirs of the American – M Mandelkern - 1983
2 Positive lattices, in: Reuniting the Antipodes— Constructive and Nonstandard Views of the Continuum – J von Plato - 2001
12 Constructivism in Mathematics: An Introduction (two volumes – A S Troelstra, D van Dalen - 1988
4 The constructive theory of Riesz spaces and applications in mathematical economics – Marian Alexandru Baroni - 2004
54 D: ‘Constructive Analysis’, Grundlehren der math – E Bishop, Bridges - 1985
22 Constructive mathematics: A foundation for computable analysis – D S Bridges - 1999
401 Vulnerabilities Analysis – Matt Bishop - 1999
1 On the order dual of a Riesz space”; Discrete Mathematics and Theoretical Computer Science – M A Baroni
1 Constructive complete finite sets”, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34 – M Mandelkern
1 Sequent calculus proof thory of intuitionistic apartness and order relations”, Archive for Mathematical Logic 38 – S Negri
5 A constructive look at the real number line – D S Bridges - 1994
2 After each reference I have indicated the section(s) where it has been cited – R Cristescu - 1976
2 On the order dual of a Riesz space – M A Baroni - 2003
4 Over de Grondslagen der Wiskunde, Doctoral dissertation – L E J Brouwer - 1907
2 Constructive Suprema – Marian Alexandru Baroni
8 Constructive Mathematics', Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/mathematics-constructive/. Accessed 31.05/2010 – Douglas Bridges - 2009
5 Sur la décomposition des opérations fonctionelles linéaires – F Riesz - 1930