Consistency and games - in search of new combinatorial principles

Počet záznamů: 1

1.

SYSNO ASEP	0039356
Druh ASEP	C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV	D - Článek ve sborníku
Název	Consistency and games - in search of new combinatorial principles
Překlad názvu	Bezespornost a hry - hledání nových kombinatorických principů
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI}
Zdroj.dok.	Logic Colloquium ´03. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. - Wellesley : Association for Symbolic Logic, 2006 / Stoltenberg-Hansen V. ; Väänänen J. - ISBN 1-56881-293-0
Rozsah stran	s. 244-281
Poč.str.	38 s.
Akce	Logic Colloquium 2003
Datum konání	14.08.2003-20.08.2003
Místo konání	Helsinki
Země	FI - Finsko
Typ akce	WRD
Jazyk dok.	eng - angličtina
Země vyd.	US - Spojené státy americké
Klíč. slova	independent sentences ; peano arithmetic ; bounded arithmetic
Vědní obor RIV	BA - Obecná matematika
CEP	IAA1019401 GA AV ČR - Akademie věd
	GA201/01/1195 GA ČR - Grantová agentura ČR
	GD401/03/H047 GA ČR - Grantová agentura ČR
CEZ	AV0Z1019905 - MU-W
Anotace	We present .sigma.1b combinatorial sentences that characterize all .sigma. 1b sentences provable in S2.
Pracoviště	Matematický ústav
Kontakt	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Rok sběru	2007

Počet záznamů: 1