Sciweavers

Share
JSYML
2010

A form of feasible interpolation for constant depth Frege systems

9 years 9 months ago
A form of feasible interpolation for constant depth Frege systems
Let L be a first-order language and Φ and Ψ two Σ1 1 L-sentences that cannot be satisfied simultaneously in any finite L-structure. Then obviously the following principle ChainL,Φ,Ψ(n, m) holds: For any chain of finite L-structures C1, . . . , Cm with the universe [n] one of the following conditions must fail:
Jan Krajícek
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where JSYML
Authors Jan Krajícek
Comments (0)
books