Correction to: “A note on nonaxiomatizability of independence relations generated by certain probabilistic structures”

Ivan Kramosil

Displaying similar documents to “Correction to: “A note on nonaxiomatizability of independence relations generated by certain probabilistic structures””

On interpretability in theories containing arithmetic

Marie Hájková, Petr Hájek (1972)

Fundamenta Mathematicae

Similarity:

On a system of axioms which has no recursively enumerable arithmetic model

Andrzej Mostowski (1953)

Fundamenta Mathematicae

Similarity:

From Foundations to Science: Justifying and Unwinding Proofs

Georg Kreisel (1977)

Zbornik Radova

Similarity:

An application of a reflection principle

Zofia Adamowicz, Leszek Aleksander Kołodziejczyk, Paweł Zbierski (2003)

Fundamenta Mathematicae

Similarity:

We define a recursive theory which axiomatizes a class of models of IΔ₀ + Ω ₃ + ¬ exp all of which share two features: firstly, the set of Δ₀ definable elements of the model is majorized by the set of elements definable by Δ₀ formulae of fixed complexity; secondly, Σ₁ truth about the model is recursively reducible to the set of true Σ₁ formulae of fixed complexity.