<> <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/10139073> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://purl.org/dc/terms/title> "FIRST-ORDER AXIOMATISATIONS of REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS of UNBOUNDED QUANTIFIER DEPTH"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://purl.org/ontology/bibo/abstract> "Using a variation of the rainbow construction and various pebble and colouring games, we prove that RRA, the class of all representable relation algebras, cannot be axiomatised by any first-order relation algebra theory of bounded quantifier depth. We also prove that the class At(RRA) of atom structures of representable, atomic relation algebras cannot be defined by any set of sentences in the language of RA atom structures that uses only a finite number of variables."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://purl.org/dc/terms/date> "2021" .
<https://discovery.ucl.ac.uk/id/document/1407962> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<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> "Journal of Symbolic Logic"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <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/10139073> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/forthcoming> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-943b41b73ea9ff56cdb35d65f197badc> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10139073#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10139073#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-943b41b73ea9ff56cdb35d65f197badc> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-adbe79855e9170e708022208a34db498> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10139073#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10139073#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-adbe79855e9170e708022208a34db498> .
<https://discovery.ucl.ac.uk/id/person/ext-adbe79855e9170e708022208a34db498> <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-adbe79855e9170e708022208a34db498> <http://xmlns.com/foaf/0.1/givenName> "ROBIN"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-adbe79855e9170e708022208a34db498> <http://xmlns.com/foaf/0.1/familyName> "Hirsch"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-adbe79855e9170e708022208a34db498> <http://xmlns.com/foaf/0.1/name> "ROBIN Hirsch"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-943b41b73ea9ff56cdb35d65f197badc> <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-943b41b73ea9ff56cdb35d65f197badc> <http://xmlns.com/foaf/0.1/givenName> "ROB"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-943b41b73ea9ff56cdb35d65f197badc> <http://xmlns.com/foaf/0.1/familyName> "Egrot"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-943b41b73ea9ff56cdb35d65f197badc> <http://xmlns.com/foaf/0.1/name> "ROB Egrot"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407962> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1407962> <http://www.w3.org/2000/01/rdf-schema#label> "FIRST-ORDER AXIOMATISATIONS of REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS of UNBOUNDED QUANTIFIER DEPTH (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://eprints.org/ontology/hasAccepted> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407962> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10139073/1/first-order-axiomatisations-of-representable-relation-algebras-need-formulas-of-unbounded-quantifier-depth.pdf> .
<https://discovery.ucl.ac.uk/id/document/1407962> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10139073/1/first-order-axiomatisations-of-representable-relation-algebras-need-formulas-of-unbounded-quantifier-depth.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10139073/1/first-order-axiomatisations-of-representable-relation-algebras-need-formulas-of-unbounded-quantifier-depth.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "first-order-axiomatisations-of-representable-relation-algebras-need-formulas-of-unbounded-quantifier-depth.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1407964> .
<https://discovery.ucl.ac.uk/id/document/1407964> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1407964> <http://www.w3.org/2000/01/rdf-schema#label> "FIRST-ORDER AXIOMATISATIONS of REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS of UNBOUNDED QUANTIFIER DEPTH (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1407964> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407964> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407964> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407964> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10139073/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1407964> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10139073/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10139073/3/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1407965> .
<https://discovery.ucl.ac.uk/id/document/1407965> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1407965> <http://www.w3.org/2000/01/rdf-schema#label> "FIRST-ORDER AXIOMATISATIONS of REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS of UNBOUNDED QUANTIFIER DEPTH (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1407965> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407965> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407965> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407965> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10139073/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1407965> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10139073/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10139073/4/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1407966> .
<https://discovery.ucl.ac.uk/id/document/1407966> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1407966> <http://www.w3.org/2000/01/rdf-schema#label> "FIRST-ORDER AXIOMATISATIONS of REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS of UNBOUNDED QUANTIFIER DEPTH (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1407966> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407966> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407966> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407966> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10139073/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1407966> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10139073/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10139073/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1407967> .
<https://discovery.ucl.ac.uk/id/document/1407967> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1407967> <http://www.w3.org/2000/01/rdf-schema#label> "FIRST-ORDER AXIOMATISATIONS of REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS of UNBOUNDED QUANTIFIER DEPTH (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1407967> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407967> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407967> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407967> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10139073/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1407967> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10139073/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10139073/6/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/10139073> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1407968> .
<https://discovery.ucl.ac.uk/id/document/1407968> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1407968> <http://www.w3.org/2000/01/rdf-schema#label> "FIRST-ORDER AXIOMATISATIONS of REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS of UNBOUNDED QUANTIFIER DEPTH (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1407968> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407968> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407968> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1407962> .
<https://discovery.ucl.ac.uk/id/document/1407968> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10139073/7/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1407968> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10139073/7/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10139073/7/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10139073> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10139073/> .
<https://discovery.ucl.ac.uk/id/eprint/10139073/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10139073 \n\nFIRST-ORDER AXIOMATISATIONS of REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS of UNBOUNDED QUANTIFIER DEPTH\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10139073/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10139073/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10139073> .