dbo:abstract |
In mathematical logic the Löwenheim number of an abstract logic is the smallest cardinal number for which a weak downward Löwenheim–Skolem theorem holds. They are named after Leopold Löwenheim, who proved that these exist for a very broad class of logics. (en) In de wiskundige logica is het Löwenheim-getal van een abstracte logica het kleinste kardinaalgetal, waarvoor de zwakke neerwaartse stelling van Löwenheim-Skolem geldt. Het Löwenheim-getal is vernoemd naar de Duitse wiskundige Leopold Löwenheim, die bewees dat het Löwenheim-getal bestaat voor een zeer brede klasse van logica's. (nl) |
dbo:wikiPageExternalLink |
http://www.math.helsinki.fi/logic/people/jouko.vaananen/JV96.pdf https://books.google.com/books%3Fid=iT5H81rM7fgC&pg=PA77&dq=%22L%C3%B6wenheim+number%22&hl=en&ei=-MyVTLHUFIiZOJOy2YgJ&sa=X&oi=book_result&ct=result&resnum=3&ved=0CDIQ6AEwAg%23v=onepage&q&f=false |
dbo:wikiPageID |
28877484 (xsd:integer) |
dbo:wikiPageLength |
4312 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID |
1026998016 (xsd:integer) |
dbo:wikiPageWikiLink |
dbr:Jouko_Väänänen dbr:Infinitary_logic dbr:Mathematical_logic dbr:Measurable_cardinal dbr:Menachem_Magidor dbr:Leopold_Löwenheim dbr:Löwenheim–Skolem_theorem dbr:Supercompact_cardinal dbr:First-order_logic dbr:Cardinal_number dbr:Abstract_logic dbc:Model_theory dbr:Supremum dbr:Higher-order_logic dbr:Second-order_logic dbr:Set_(mathematics) dbr:Axiom_of_replacement dbr:Elementary_substructure dbr:Hanf_number |
dbp:wikiPageUsesTemplate |
dbt:! dbt:Isbn |
dcterms:subject |
dbc:Model_theory |
gold:hypernym |
dbr:Number |
rdfs:comment |
In mathematical logic the Löwenheim number of an abstract logic is the smallest cardinal number for which a weak downward Löwenheim–Skolem theorem holds. They are named after Leopold Löwenheim, who proved that these exist for a very broad class of logics. (en) In de wiskundige logica is het Löwenheim-getal van een abstracte logica het kleinste kardinaalgetal, waarvoor de zwakke neerwaartse stelling van Löwenheim-Skolem geldt. Het Löwenheim-getal is vernoemd naar de Duitse wiskundige Leopold Löwenheim, die bewees dat het Löwenheim-getal bestaat voor een zeer brede klasse van logica's. (nl) |
rdfs:label |
Löwenheim number (en) Löwenheim-getal (nl) |
owl:sameAs |
freebase:Löwenheim number wikidata:Löwenheim number dbpedia-nl:Löwenheim number https://global.dbpedia.org/id/4dKhd |
prov:wasDerivedFrom |
wikipedia-en:Löwenheim_number?oldid=1026998016&ns=0 |
foaf:isPrimaryTopicOf |
wikipedia-en:Löwenheim_number |
is dbo:wikiPageRedirects of |
dbr:Lowenheim_number dbr:"Löwenheim_number" |
is dbo:wikiPageWikiLink of |
dbr:Lowenheim_number dbr:First-order_logic dbr:Abstract_logic dbr:Higher-order_logic dbr:Second-order_logic dbr:"Löwenheim_number" |
is foaf:primaryTopic of |
wikipedia-en:Löwenheim_number |