<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/1330692> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/dc/terms/title> "Some Undecidable Problems on Representability as Binary Relations"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/ontology/bibo/abstract> "We establish the undecidability of representability and of finite representability as algebras of binary relations in a wide range of signatures. In particular, representability and finite representability are undecidable for Boolean monoids and lattice ordered monoids, while representability is undecidable for J onsson's relation algebra. We also establish a number of undecidability results for representability as algebras of injective functions."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/dc/terms/date> "2012" .
<https://discovery.ucl.ac.uk/id/document/41567> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/ontology/bibo/volume> "77" .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/ontology/bibo/issue> "4" .
<https://discovery.ucl.ac.uk/id/publication/ext-00224812> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-00224812> <http://xmlns.com/foaf/0.1/name> "The Journal of Symbolic Logic"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-00224812> .
<https://discovery.ucl.ac.uk/id/publication/ext-00224812> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:00224812> .
<https://discovery.ucl.ac.uk/id/publication/ext-00224812> <http://purl.org/ontology/bibo/issn> "00224812" .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-24fb37da70bebd5f21a0f517978f6b99> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/1330692#authors> .
<https://discovery.ucl.ac.uk/id/eprint/1330692#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-24fb37da70bebd5f21a0f517978f6b99> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-1682398518ca0ec0c99d359bf934864d> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/1330692#authors> .
<https://discovery.ucl.ac.uk/id/eprint/1330692#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-1682398518ca0ec0c99d359bf934864d> .
<https://discovery.ucl.ac.uk/id/person/ext-1682398518ca0ec0c99d359bf934864d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-1682398518ca0ec0c99d359bf934864d> <http://xmlns.com/foaf/0.1/givenName> "M"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-1682398518ca0ec0c99d359bf934864d> <http://xmlns.com/foaf/0.1/familyName> "Jackson"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-1682398518ca0ec0c99d359bf934864d> <http://xmlns.com/foaf/0.1/name> "M Jackson"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-24fb37da70bebd5f21a0f517978f6b99> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-24fb37da70bebd5f21a0f517978f6b99> <http://xmlns.com/foaf/0.1/givenName> "R"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-24fb37da70bebd5f21a0f517978f6b99> <http://xmlns.com/foaf/0.1/familyName> "Hirsch"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-24fb37da70bebd5f21a0f517978f6b99> <http://xmlns.com/foaf/0.1/name> "R Hirsch"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/41567> .
<https://discovery.ucl.ac.uk/id/document/41567> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/41567> <http://www.w3.org/2000/01/rdf-schema#label> "Some Undecidable Problems on Representability as Binary Relations (PDF)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/41567> <http://eprints.org/relation/hasVolatileVersion> <https://discovery.ucl.ac.uk/id/document/87871> .
<https://discovery.ucl.ac.uk/id/document/41567> <http://eprints.org/relation/haspreviewThumbnailVersion> <https://discovery.ucl.ac.uk/id/document/87871> .
<https://discovery.ucl.ac.uk/id/document/41567> <http://eprints.org/relation/hasVersion> <https://discovery.ucl.ac.uk/id/document/87871> .
<https://discovery.ucl.ac.uk/id/document/41567> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/1330692/1/InjUndecidJSLc.pdf> .
<https://discovery.ucl.ac.uk/id/document/41567> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/1330692/1/InjUndecidJSLc.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/1330692/1/InjUndecidJSLc.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "InjUndecidJSLc.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/87871> .
<https://discovery.ucl.ac.uk/id/document/87871> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/87871> <http://www.w3.org/2000/01/rdf-schema#label> "Some Undecidable Problems on Representability as Binary Relations (Image (PNG))"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/87871> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/41567> .
<https://discovery.ucl.ac.uk/id/document/87871> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/41567> .
<https://discovery.ucl.ac.uk/id/document/87871> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/41567> .
<https://discovery.ucl.ac.uk/id/document/87871> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/1330692/2/preview.png> .
<https://discovery.ucl.ac.uk/id/document/87871> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/1330692/2/preview.png> .
<https://discovery.ucl.ac.uk/id/eprint/1330692/2/preview.png> <http://www.w3.org/2000/01/rdf-schema#label> "preview.png"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/113428> .
<https://discovery.ucl.ac.uk/id/document/113428> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/113428> <http://www.w3.org/2000/01/rdf-schema#label> "Some Undecidable Problems on Representability as Binary Relations (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/113428> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/41567> .
<https://discovery.ucl.ac.uk/id/document/113428> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/41567> .
<https://discovery.ucl.ac.uk/id/document/113428> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/41567> .
<https://discovery.ucl.ac.uk/id/document/113428> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/1330692/3/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/113428> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/1330692/3/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/1330692/3/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/1330692> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/1330692/> .
<https://discovery.ucl.ac.uk/id/eprint/1330692/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #1330692 \n\nSome Undecidable Problems on Representability as Binary Relations\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/1330692/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/1330692/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/1330692> .