This HTML5 document contains 15 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dctermshttp://purl.org/dc/terms/
n10http://www.idref.fr/03233530X/
marcrelhttp://id.loc.gov/vocabulary/relators/
n4http://www.idref.fr/033065586/
dchttp://purl.org/dc/elements/1.1/
rdauhttp://rdaregistry.info/Elements/u/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://www.idref.fr/277277930/
n15http://lexvo.org/id/iso639-3/
n17http://iflastandards.info/ns/isbd/terms/contentform/
rdachttp://rdaregistry.info/Elements/c/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
frbrhttp://purl.org/vocab/frbr/core#
n16http://iflastandards.info/ns/isbd/elements/
n13http://rdaregistry.info/termList/RDAContentType/
rdawhttp://rdaregistry.info/Elements/w/
n6http://www.idref.fr/027355330/
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
n2:id
rdf:type
frbr:Work rdac:C10001
marcrel:aut
n4:id n10:id
dc:subject
Set theory Théorie des ensembles
skos:prefLabel
Algebraic set theory
dcterms:language
n15:eng
dcterms:subject
n6:id
dc:title
Algebraic set theory
skos:note
Offers a new, algebraic, approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore the authors explicitly construct such algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory
dc:type
Text
n16:P1001
n17:T1009
rdaw:P10219
1995
rdau:P60049
n13:1020