A form of feasible interpolation for constant depth Frege systems

Number of the records: 1

1.

SYSNO ASEP	0353751
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	A form of feasible interpolation for constant depth Frege systems
Author(s)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Source Title	Journal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812 Roč. 75, č. 2 (2010), s. 774-784
Number of pages	11 s.
Language	eng - English
Country	US - United States
Keywords	feasible interpolation ; Frege proof systems ; lower bounds
Subject RIV	BA - General Mathematics
R&D Projects	IAA100190902 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	LC505 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
CEZ	AV0Z10190503 - MU-W (2005-2011)
UT WOS	000278641100017
EID SCOPUS	77954318233
DOI	10.2178/jsl/1268917504
Annotation	We define a model-theoretic principle for which a form of feasible interpolation is valid in constant depth Frege systems.
Workplace	Mathematical Institute
Contact	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Year of Publishing	2011

Number of the records: 1