- Publications
- Influence

Claim Your Author Page

Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.

- Konstantin N. Ignatiev
- J. Symb. Log.
- 1993

PA is Peano Arithmetic. Pr( x ) is the usual Σ 1 ,-formula representing provability in PA. A strong provability predicate is a formula which has the same properties as Pr(·) but is not Σ 1 . An… (More)

- Konstantin N. Ignatiev
- Ann. Pure Appl. Logic
- 1993

Abstract We say that two arithmetical formulas A, B have the Σ1-interpolation property if they have an ‘interpolant’ σ, i.e., a Σ1 formula such that the formulas A→σ and σ→B are provable in Peano… (More)

A process for preserving the bright red color of fresh raw uncured red meat by incorporating into the meat a special gamma-pyrone and storing the meat at a refrigerated temperature for a period of at… (More)