"A note on conservativity relations among bounded arithmetic theories."@en . "bounded arithmetic%constant depth Frege systems"@en . . "We give a new non-conservativity result for bounded arithmetic."@en . "Impagliazzo, R." . . "[8BF7BD45FE82]" . . "3" . . . . "We give a new non-conservativity result for bounded arithmetic." . "Kraj\u00ED\u010Dek, Jan" . . . "375;377" . "1"^^ . "Mathematical Logic Quarterly" . "637112" . "0"^^ . "3"^^ . "0"^^ . "A note on conservativity relations among bounded arithmetic theories." . "2"^^ . . . "RIV/67985840:_____/02:05020031" . "DE - Spolkov\u00E1 republika N\u011Bmecko" . "RIV/67985840:_____/02:05020031!RIV/2003/AV0/A05003/N" . . "A note on conservativity relations among bounded arithmetic theories."@en . . "A note on conservativity relations among bounded arithmetic theories." . "0942-5616" . . . "P(IAA1019901), P(LN00A056), Z(AV0Z1019905)" . . . "48" .