All
All

What are you looking for?

All
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Set theory and mathematical logic

Project goals

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.

Keywords

Public support

  • Provider

    Czech Science Foundation

  • Programme

    Standard projects

  • Call for proposals

    Standardní projekty 1 (SGA02002GA-ST)

  • Main participants

    Matematický ústav AV ČR, v. v. i.

  • Contest type

    VS - Public tender

  • Contract ID

    —

Alternative language

  • Project name in Czech

    Teorie množin a matematická logika

  • Annotation in Czech

    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.

Scientific branches

  • R&D category

    ZV - Basic research

  • CEP classification - main branch

    BA - General mathematics

  • CEP - secondary branch

    —

  • CEP - another secondary branch

    —

  • 10101 - Pure mathematics

Completed project evaluation

  • Provider evaluation

    U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

  • Project results evaluation

    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

Solution timeline

  • Realization period - beginning

    Jan 1, 2002

  • Realization period - end

    Jan 1, 2004

  • Project status

    U - Finished project

  • Latest support payment

    —

Data delivery to CEP

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

  • Data delivery code

    CEP/2005/GA0/GA05GA/U/N/B:7

  • Data delivery date

    Jun 2, 2008

Finance

  • Total approved costs

    1,248 thou. CZK

  • Public financial support

    345 thou. CZK

  • Other public sources

    903 thou. CZK

  • Non public and foreign sources

    0 thou. CZK

Basic information

Recognised costs

1 248 CZK thou.

Public support

345 CZK thou.

27%

Provider

Czech Science Foundation

CEP

BA - General mathematics

Solution period

01. 01. 2002 - 01. 01. 2004

Similar projects(10)

Groups and their actions, operator algebras, and descriptive set theory (GJ19-05271Y) Continuous and set-theoretical methods in topological and algebraic structures (GA201/00/1466) The structure of finite algebras (GA201/95/0632)