Number of the records: 1
A form of feasible interpolation for constant depth Frege systems
- 1.0353751 - MÚ 2011 RIV US eng J - Journal Article
Krajíček, Jan
A form of feasible interpolation for constant depth Frege systems.
Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA AV ČR IAA100190902; GA MŠMT LC505
Institutional research plan: CEZ:AV0Z10190503
Keywords : feasible interpolation * Frege proof systems * lower bounds
Subject RIV: BA - General Mathematics
Impact factor: 0.584, year: 2010
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
We define a model-theoretic principle for which a form of feasible interpolation is valid in constant depth Frege systems.
Permanent Link: http://hdl.handle.net/11104/0192907
File Download Size Commentary Version Access Krajicek2.pdf 1 134.5 KB Publisher’s postprint require
Number of the records: 1