This HTML5 document contains 28 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/
dbpedia-kohttp://ko.dbpedia.org/resource/
n14https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
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/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Nice_(disambiguation)
dbo:wikiPageWikiLink
dbr:Nice_name
dbo:wikiPageDisambiguates
dbr:Nice_name
Subject Item
dbr:Nice_name
rdfs:label
이름 (강제법) Nice name
rdfs:comment
집합론에서 이름(영어: name)은 강제법에 등장하는, 집합의 개념의 일종의 일반화인 누적 위계이다. 집합의 경우 무언가가 집합의 원소인지 여부는 참 또는 거짓이지만, 무언가가 이름의 원소인지 여부는 보다 일반적인 원순서 집합 또는 완비 불 대수의 원소에 따라 나타내어진다. In set theory, a nice name is used in forcing to impose an upper bound on the number of subsets in the generic model. It is used in the context of forcing to prove independence results in set theory such as Easton's theorem.
dcterms:subject
dbc:Forcing_(mathematics)
dbo:wikiPageID
7818064
dbo:wikiPageRevisionID
1068343814
dbo:wikiPageWikiLink
dbr:Set_theory dbr:Forcing_(mathematics) dbc:Forcing_(mathematics) dbr:Zermelo–Fraenkel_set_theory dbr:Easton's_theorem
owl:sameAs
dbpedia-ko:이름_(강제법) freebase:m.026f2jc n14:f9Mp wikidata:Q17047668
dbp:wikiPageUsesTemplate
dbt:About dbt:Cite_book dbt:Settheory-stub
dbo:abstract
집합론에서 이름(영어: name)은 강제법에 등장하는, 집합의 개념의 일종의 일반화인 누적 위계이다. 집합의 경우 무언가가 집합의 원소인지 여부는 참 또는 거짓이지만, 무언가가 이름의 원소인지 여부는 보다 일반적인 원순서 집합 또는 완비 불 대수의 원소에 따라 나타내어진다. In set theory, a nice name is used in forcing to impose an upper bound on the number of subsets in the generic model. It is used in the context of forcing to prove independence results in set theory such as Easton's theorem.
prov:wasDerivedFrom
wikipedia-en:Nice_name?oldid=1068343814&ns=0
dbo:wikiPageLength
1596
foaf:isPrimaryTopicOf
wikipedia-en:Nice_name
Subject Item
dbr:Forcing_(mathematics)
dbo:wikiPageWikiLink
dbr:Nice_name
Subject Item
wikipedia-en:Nice_name
foaf:primaryTopic
dbr:Nice_name