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

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

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
n4https://web.archive.org/web/20070211142411/http:/www.renyi.hu/~csirmaz/forszol/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n9https://web.archive.org/web/20070211141024/http:/www.renyi.hu/~csirmaz/forszol/
n10https://web.archive.org/web/20070211142328/http:/www.renyi.hu/~csirmaz/forszol/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
n8https://web.archive.org/web/20070211142351/http:/www.renyi.hu/~csirmaz/forszol/
n22https://web.archive.org/web/20070211142401/http:/www.renyi.hu/~csirmaz/forszol/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://hu.dbpedia.org/resource/Set_Theory:
freebasehttp://rdf.freebase.com/ns/
n7https://web.archive.org/web/20070211142342/http:/www.renyi.hu/~csirmaz/forszol/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
n17http://www.cs.elte.hu/~kope/oktatas/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://hu.dbpedia.org/resource/Kategória:
n13https://web.archive.org/web/20070211002701/http:/www.renyi.hu/~csirmaz/forszol/

Statements

Subject Item
dbpedia-hu:Forszolás
rdfs:label
Forszolás
owl:sameAs
freebase:m.013tlv
dct:subject
n19:Halmazelmélet
dbo:wikiPageID
288398
dbo:wikiPageRevisionID
23563855
dbo:wikiPageExternalLink
n4:f7.ps n7:f4.ps n8:f5.ps n9:f3.ps n10:f1.ps n13:f2.ps n17:forsz.pdf n22:f6.ps
prop-hu:wikiPageUsesTemplate
n6:Springer n6:Fordítás n6:Csonk-mat n6:Cite_book n6:Halott_link n6:ISBN n6:Korr n6:Jegyzetek
prop-hu:author
Cohen, P. J. Kunen, K.
prop-hu:date
2018
prop-hu:first
V. N.
prop-hu:id
F/f040770
prop-hu:isbn
0
prop-hu:last
Grishin
prop-hu:publisher
Addison–Wesley North-Holland
prop-hu:title
Forcing Method n15:_An_Introduction_to_Independence_Proofs Set theory and the continuum hypothesis
prop-hu:url
n17:forsz.pdf
prop-hu:year
1980 1966
dbo:abstract
A forszolás (forcing) mint a relatív ellentmondás-mentesség és függetlenség bizonyítására alkalmas módszer, a modern matematika történetének egyik legújabb nagy eredménye. A módszer halmazelméleti kidolgozója Paul Cohen,aki a forszolással sikeresen bizonyította a kontinuumhipotézis függetlenségét.A másik jelentős eredmény, amit Cohen maga bizonyított a forszolás segítségével, a kiválasztási axióma függetlensége a Zermelo–Fraenkel axiómarendszertől. A halmazelmélet modellje vagy a teljes , vagy annak egy nagy, de véges részhalmazának modellje. A modell tranzitív, hogyha , akkor . A forszolás alapgondolata, hogy a halmazelmélet egy tranzitív modelljét (the ground model) úgy bővítjük, hogy hozzáveszünk egy új G halmazt (a generic set), hogy ezáltal a halmazelméletnek egy tágabb tranzitív modelljéhez jussunk M[G], amit eztán bővebb modellnek (generic extension) nevezünk. A G halmaz közelítése az alapmodellben meghatározott forszolási feltételek által történik, s e feltételek megfelelő kiválasztása meghatározza, hogy mi igaz a bővebb modellben. A módszer 1963-as bevezetése óta a forszolást számos esetben alkalmazták, sőt,(bizonyos továbbfejlesztéseknek köszönhetően) meghatározó szerepe letta modellmódszeres relatív ellentmondás-mentességi bizonyítások körében.A leíró halmazelmélet mind a rekurzióelméletben, mind a halmazelméletben használja a forszolás jelölésrendszerét. A modellelméletben általában közvetlenül definiálják az általánosságot a forszolás említés nélkül.
prov:wasDerivedFrom
wikipedia-hu:Forszolás?oldid=23563855&ns=0
dbo:wikiPageLength
38887
foaf:isPrimaryTopicOf
wikipedia-hu:Forszolás
Subject Item
wikipedia-hu:Forszolás
foaf:primaryTopic
dbpedia-hu:Forszolás