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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
dbpedia-hehttp://he.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n16http://www.math.rutgers.edu/~sthomas/
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
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/
n22http://www.math.toronto.edu/~stevo/
dbrhttp://dbpedia.org/resource/
n13http://pub.acta.hu/acta/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Fodor's_lemma
rdf:type
yago:WikicatMathematicalTheorems yago:Proposition106750804 yago:Theorem106752293 yago:Abstraction100002137 yago:WikicatLemmas yago:Message106598915 yago:Lemma106751833 yago:Statement106722453 yago:Communication100033020
rdfs:label
Satz von Fodor Lemat Fodora Lemme de Fodor Lema de Fodor Fodor's lemma フォドアの補題
rdfs:comment
Em matemática, especialmente na teoria dos conjuntos, o lema de Fodor afirma o seguinte: Se é um regular cardinal enumerável, é um sub-conjunto estacionário de , e é regressivo (isto é, para qualquer , ) então há alguma e algum estacionário de forma que para qualquer . Em linguagem moderna, o não-estacionário ideal é "normal". In mathematics, particularly in set theory, Fodor's lemma states the following: If is a regular, uncountable cardinal, is a stationary subset of , and is regressive (that is, for any , ) then there is some and some stationary such that for any . In modern parlance, the nonstationary ideal is normal. The lemma was first proved by the Hungarian set theorist, Géza Fodor in 1956. It is sometimes also called "The Pressing Down Lemma". Lemat Fodora – twierdzenie w teorii mnogości mówiące, że dla każdej nieprzeliczalnej regularnej liczby kardynalnej zbioru stacjonarnego oraz każdej regresywnej funkcji tj. funkcji spełniającej warunek dla istnieje taki zbiór stacjonarny że obcięcie jest stała, tj. istnieje taka liczba porządkowa że dla każdego Twierdzenie udowodnione w 1956 roku przez węgierskiego matematyka, . W oparciu o lemat Fodora można udowodnić lemat Szanina. 数学、特に集合論においてフォドアの補題(あるいはフォドアの押し下げ補題)は以下の主張を指す: フォドアの補題 ― を非可算な正則基数、 を の定常集合、順序数関数 を押し下げ関数(regressive function; すなわち、全ての , に対し )とする。 このとき、ある順序数 と、ある定常集合 があって、全ての に対して を満たす(すなわち、 上で は定値関数である)。 En mathématiques, et plus particulièrement en théorie des ensembles, le lemme de Fodor énonce ce qui suit : Si est un cardinal régulier, indénombrable, est un sous-ensemble stationnaire de , et régressive (c'est-à-dire pour toute , ) alors il existe et stationnaire tel que pour tout . On dit que l'idéal non stationnaire est normal. Le lemme a été prouvé pour la première fois par le théoricien hongrois des ensembles, en 1956. Der Satz von Fodor (auch: Pressing Down Lemma) ist ein Satz aus der Mengenlehre, der 1956 von dem ungarischen Mathematiker entdeckt wurde. Er besagt, dass es für bestimmte Funktionen immer große (d. h. stationäre) Teilmengen gibt, auf denen diese lediglich einen Wert annehmen.
dct:subject
dbc:Lemmas_in_set_theory dbc:Articles_containing_proofs
dbo:wikiPageID
1679022
dbo:wikiPageRevisionID
1108318884
dbo:wikiPageWikiLink
dbr:Stationary_set dbr:Pdf dbr:Set_theory dbr:Acta_Scientiarum_Mathematicarum dbr:Cardinal_number dbc:Articles_containing_proofs dbr:Club_set dbr:Contradiction dbr:Thomas_Jech dbr:Regular_cardinal dbc:Lemmas_in_set_theory dbr:Mathematics dbr:Diagonal_intersection dbr:Géza_Fodor_(mathematician) dbr:PostScript dbr:Uncountable
dbo:wikiPageExternalLink
n13:showCustomerArticle.action%3Fid=6490&dataObjectType=article&returnAction=showCustomerVolume&sessionDataSetId=6b37d83ce0bc926e&style= n16:book.ps n22:dichotomies4.pdf
owl:sameAs
dbpedia-de:Satz_von_Fodor freebase:m.05msgc dbpedia-ja:フォドアの補題 yago-res:Fodor's_lemma n19:BRtp dbpedia-pt:Lema_de_Fodor wikidata:Q1119050 dbpedia-pl:Lemat_Fodora dbpedia-he:למת_פודור dbpedia-fr:Lemme_de_Fodor
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Mathematical_logic dbt:PlanetMath_attribution dbt:Set_theory dbt:No_footnotes
dbp:id
3232
dbp:title
Fodor's lemma
dbo:abstract
En mathématiques, et plus particulièrement en théorie des ensembles, le lemme de Fodor énonce ce qui suit : Si est un cardinal régulier, indénombrable, est un sous-ensemble stationnaire de , et régressive (c'est-à-dire pour toute , ) alors il existe et stationnaire tel que pour tout . On dit que l'idéal non stationnaire est normal. Le lemme a été prouvé pour la première fois par le théoricien hongrois des ensembles, en 1956. Lemat Fodora – twierdzenie w teorii mnogości mówiące, że dla każdej nieprzeliczalnej regularnej liczby kardynalnej zbioru stacjonarnego oraz każdej regresywnej funkcji tj. funkcji spełniającej warunek dla istnieje taki zbiór stacjonarny że obcięcie jest stała, tj. istnieje taka liczba porządkowa że dla każdego Twierdzenie udowodnione w 1956 roku przez węgierskiego matematyka, . W oparciu o lemat Fodora można udowodnić lemat Szanina. 数学、特に集合論においてフォドアの補題(あるいはフォドアの押し下げ補題)は以下の主張を指す: フォドアの補題 ― を非可算な正則基数、 を の定常集合、順序数関数 を押し下げ関数(regressive function; すなわち、全ての , に対し )とする。 このとき、ある順序数 と、ある定常集合 があって、全ての に対して を満たす(すなわち、 上で は定値関数である)。 Em matemática, especialmente na teoria dos conjuntos, o lema de Fodor afirma o seguinte: Se é um regular cardinal enumerável, é um sub-conjunto estacionário de , e é regressivo (isto é, para qualquer , ) então há alguma e algum estacionário de forma que para qualquer . Em linguagem moderna, o não-estacionário ideal é "normal". In mathematics, particularly in set theory, Fodor's lemma states the following: If is a regular, uncountable cardinal, is a stationary subset of , and is regressive (that is, for any , ) then there is some and some stationary such that for any . In modern parlance, the nonstationary ideal is normal. The lemma was first proved by the Hungarian set theorist, Géza Fodor in 1956. It is sometimes also called "The Pressing Down Lemma". Der Satz von Fodor (auch: Pressing Down Lemma) ist ein Satz aus der Mengenlehre, der 1956 von dem ungarischen Mathematiker entdeckt wurde. Er besagt, dass es für bestimmte Funktionen immer große (d. h. stationäre) Teilmengen gibt, auf denen diese lediglich einen Wert annehmen.
prov:wasDerivedFrom
wikipedia-en:Fodor's_lemma?oldid=1108318884&ns=0
dbo:wikiPageLength
3114
foaf:isPrimaryTopicOf
wikipedia-en:Fodor's_lemma