About: Set theory and mathematical logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Set theory and mathematical logic Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA201/02/0857
Description	The proposed research will concentrate on set theory and on applications of set theory in algebra. The major topics of research will include the foolowing areas: forcing and large cardinals, left-distributive algebras and elementary embeddings, stationary sets, complete Boolean algebras and the pcf theory. (en) Navrhovaný projekt se soustředí na teorii množin a na aplikace teorie množin v algebře. Hlavní oblasti navrhovaného výzkumu obsahují tato témata: forcing a velká kardinální čísla, elementární vnoření a levodistributivní struktury, stacionární množiny, úplné Booleovy algebry a teorie pcf.
Title	Set theory and mathematical logic (en) Teorie množin a matematická logika
skos:notation	GA201/02/0857
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F02%2F0857/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F02%2F0857/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2008-06-02 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	1564376
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	Neuvedeno. (en)
http://linked.open...ep/partnetrHlavni	Matematický ústav AV ČR, v. v. i.
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	3 (xsd:int)
http://linked.open...enychVysledkuVRIV	3 (xsd:int)
http://linked.open...okUkonceniPodpory	2004
http://linked.open...okZahajeniPodpory	2002
http://linked.open...iciPoslednihoRoku	2005
http://linked.open...atUdajeProjZameru	2005
http://linked.open.../vavai/cep/soutez	SGA02002GA-ST
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...jektu+dodavatelem	Hlavním výsledkem projektu je řešení problému J. von Neumanna a D. Maharamové z r. 1937 a 1947. V citované práci jsme podali charakterizaci Booleových algeber s Maharamovou submírou, a ukázali, že problém von Neumanna -Maharamové je konsistentní. Článek (cs) The main result obtained during our work on the project is the solution of the long standingproblem of John von Neumann and Dorothy Maharam (1937, 1947). The article cited abovegives a characterization of Boolean algebras that admit a Maharam submeasure (en)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/riv/projekt of	On the structure of stationary sets Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann Distributivity of the algebra of regular open subsets of .beta. R / R
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F02%2F0857/2002/ico%3A67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F02%2F0857/2003/ico%3A67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F02%2F0857/2004/ico%3A67985840 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F02%2F0857/2005/ico%3A67985840

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software