
H - CONJUNTOS
Author(s) -
Jorge Páez O.,
Carlos Luque A.,
Albedo Donado N.
Publication year - 1999
Publication title -
tecné, episteme y didaxis ted/tecné, episteme y didaxis/revista de la facultad de ciencia y tecnologia
Language(s) - English
Resource type - Journals
eISSN - 2323-0126
pISSN - 0121-3814
DOI - 10.17227/ted.num5-5679
Subject(s) - mathematics , algebraic structure , set (abstract data type) , algebra over a field , product (mathematics) , pure mathematics , algebraic number , computer science , programming language , geometry , mathematical analysis
Using predicates with values in a Heyting Algebra H, a generalized notion of set, denotedH-set, is constructed. The algebraic structure of this sets and the notions of product andrelations between them is studied.