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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n13https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Stevo_Todorčević
dbo:wikiPageWikiLink
dbr:S_and_L_spaces
Subject Item
dbr:Justin_T._Moore
dbo:wikiPageWikiLink
dbr:S_and_L_spaces
Subject Item
dbr:Glossary_of_topology
dbo:wikiPageWikiLink
dbr:S_and_L_spaces
Subject Item
dbr:S_and_L_spaces
rdfs:label
S and L spaces
rdfs:comment
In mathematics, S-space is a regular topological space that is hereditarily separable but is not a Lindelöf space. L-space is a regular topological space that is hereditarily Lindelöf but not separable. A space is separable if it has a countable dense set and hereditarily separable if every subspace is separable. It had been believed for a long time that S-space problem and L-space problem are dual, i.e. if there is an S-space in some model of set theory then there is an L-space in the same model and vice versa – which is not true.
dcterms:subject
dbc:General_topology dbc:Topological_spaces
dbo:wikiPageID
56525571
dbo:wikiPageRevisionID
1118595243
dbo:wikiPageWikiLink
dbc:Topological_spaces dbr:Proper_Forcing_Axiom dbr:Stevo_Todorcevic dbc:General_topology dbr:Rho_functions dbr:Lindelöf_space dbr:Number_theory dbr:Cohen_real dbr:Martin's_axiom dbr:Zermelo–Fraenkel_set_theory dbr:Justin_T._Moore
owl:sameAs
n13:4XfR7 wikidata:Q48973609
dbp:wikiPageUsesTemplate
dbt:Topology-stub dbt:Short_description dbt:ISBN
dbo:abstract
In mathematics, S-space is a regular topological space that is hereditarily separable but is not a Lindelöf space. L-space is a regular topological space that is hereditarily Lindelöf but not separable. A space is separable if it has a countable dense set and hereditarily separable if every subspace is separable. It had been believed for a long time that S-space problem and L-space problem are dual, i.e. if there is an S-space in some model of set theory then there is an L-space in the same model and vice versa – which is not true. It was shown in the early 1980s that the existence of S-space is independent of the usual axioms of ZFC. This means that to prove the existence of an S-space or to prove the non-existence of S-space, we need to assume axioms beyond those of ZFC. The L-space problem (whether an L-space can exist without assuming additional set-theoretic assumptions beyond those of ZFC) was not resolved until recently. Todorcevic proved that under PFA there are no S-spaces. This means that every regular hereditarily separable space is Lindelöf. For some time, it was believed the L-space problem would have a similar solution (that its existence would be independent of ZFC). Todorcevic showed that there is a model of set theory with Martin's axiom where there is an L-space but there are no S-spaces. Further, Todorcevic found a compact S-space from a . In 2005, Moore solved the L-space problem by constructing an L-space without assuming additional axioms and by combining Todorcevic's with number theory.
prov:wasDerivedFrom
wikipedia-en:S_and_L_spaces?oldid=1118595243&ns=0
dbo:wikiPageLength
2554
foaf:isPrimaryTopicOf
wikipedia-en:S_and_L_spaces
Subject Item
wikipedia-en:S_and_L_spaces
foaf:primaryTopic
dbr:S_and_L_spaces