Open AccessH - CONJUNTOS
Author(s) -
Jorge Páez O.,
Carlos Luque A.,
Albedo Donado N.
Publication year - 1999
Publication title -
tecné episteme y didaxis ted
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom