The Hahn Banach theorem in the vector space over the field of complex numbers

by Anna Justyna Milewska
Venue:Journal of Formalized Mathematics
Citations:8 - 0 self

Documents Related by Co-Citation

1252 Functions and their basic properties – Czesław Byliński - 2003
250 Basis of Real Linear Space – Wojciech Trybulec - 1990
1276 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
1178 Properties of subsets – Zinaida Trybulec - 1989
132 Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces – Eugeniusz Kusak - 1990
330 Binary operations – Czesław Byliński - 1989
1007 Functions from a set to a set – Czesław Byliński - 1989
982 Relations and their basic properties – Edmund Woronowicz - 1989
370 Subsets of real numbers – Andrzej Trybulec
26 The field of complex numbers – Anna Justyna Milewska
627 The ordinal numbers – Grzegorz Bancerek - 1989
545 Basic Properties of Real Numbers – Krzysztof Hryniewiecki - 1989
721 Some Basic Properties of Sets – Czes Law Byli'nski - 1989
85 Andrzej Trybulec and Czesław Byliński. Some properties of real numbers operations – max min, square, square root - 1989
86 The complex numbers – Czesław Byliński - 1990
99 Monotone Real Sequences. Subsequences – Jaros Law Kotowicz
219 sequences and basic operations on them – Real - 1990
89 Some properties of functions modul and signum – Jan Popiołek - 1989
426 Partial Functions – Czes Law Byli'nski