Vaughn, John B. A note on forking and normalization. (English) Zbl 0646.03028 Arch. Math. Logik Grundlagenforsch. 26, 165-168 (1987). MSC: 03C45 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Gauthier, Yvon A theory of local negation: the model and some applications. (English) Zbl 0597.03038 Arch. Math. Logik Grundlagenforsch. 25, 127-143 (1985). MSC: 03F65 81P10 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Ščedrov, A.; Vesley, R. On a weakening of Markov’s principle. (English) Zbl 0533.03033 Arch. Math. Logik Grundlagenforsch. 23, 153-160 (1983). MSC: 03F50 03F55 × Cite Format Result Cite Review PDF Full Text: DOI EuDML