# Skolem's paradox and constructivism

@article{McCarty1987SkolemsPA, title={Skolem's paradox and constructivism}, author={Charles McCarty and Neil Tennant}, journal={Journal of Philosophical Logic}, year={1987}, volume={16}, pages={165-202} }

Les AA. soutiennent que les mathematiques intuitionnistes ne donnent pas lieu au paradoxe de Skolem. Ils soutiennent de plus que les preuves connues du theoreme de Lowenheim-Skolem sont inacceptables d'un point de vue constructiviste. Ils en tirent les consequences pour une philosophie des mathematiques intuitionniste

## 6 Citations

Variations on a thesis: intuitionism and computability

- PhilosophyNotre Dame J. Formal Log.
- 1987

There are three variations. The first is an extended argument for a reappraisal of the status of CT within intuitionism. Traditionally, the intuitionists' attitude toward CT has been strongly…

Reflections on Skolem's Relativity of Set-Theoretical Concepts

- Philosophy
- 2001

In this paper an attempt Is made to present Skolem's argument for the relativity of some set-theoretical notions as a sensible one. Skolem's critique of set theory is seen as part of a larger…

Constructive validity is nonarithmetic

- MathematicsJournal of Symbolic Logic
- 1988

It follows constructively from weak versions of Markov's principle and Church's thesis that logical validity for single sentences is not arithmetically definable and is a direct consequence of the constructive modeltheoretic fact that one can prove the categoricity of first-order Heyting arithmetic.

Markov's principle, isols and Dedekind finite sets

- MathematicsJournal of Symbolic Logic
- 1988

MPS is tantamount, in constructive mathematics, to the standard classical characterizations of ⊿ in terms of cardinality, and simple closure properties on the Dedekind finite sets provide ready examples of statements which are strictly weaker than Markov's principle and yet are independent of extensions of IZF.

The Mathematical Philosophy

- Philosophy
- 1990

. Mathematics and philosophy are two words with different meanings and the same thing. With various historical evidence, mathematics as the basis of science is not part of or born from philosophy. In…

## References

SHOWING 1-10 OF 35 REFERENCES

An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic

- PhilosophyJ. Symb. Log.
- 1976

The problem of treating the semantics of intuitionistic logic within the framework of intuitionistic mathematics was first attacked by E. W. Beth [1]. However, the completeness theorem he thought to…

Skolem and the Skeptic

- Philosophy
- 1985

structure that all progressions have in common in virtue of being progressions. It is not a science concerned with particular objects-the numbers. The search for which independently identifiable…

On Weak Completeness of Intuitionistic Predicate Logic

- PhilosophyJ. Symb. Log.
- 1962

Suppose the ri-placed relation symbols Pi, 1 ≦ i ≦ k, are all the non-logical constants occurring in the closed formula , also written as , of Heyting's predicate calculus (HPC). Then HPC is called…

Axiom of choice and complementation

- Mathematics
- 1975

It is shown that an intuitionistic model of set theory with the axiom of choice has to be a classical oneO A topos 6 is a category which has finite limits (i.e. finite products, intersections and a…

Constructive validity is nonarithmetic

- MathematicsJournal of Symbolic Logic
- 1988

It follows constructively from weak versions of Markov's principle and Church's thesis that logical validity for single sentences is not arithmetically definable and is a direct consequence of the constructive modeltheoretic fact that one can prove the categoricity of first-order Heyting arithmetic.

Another Intuitionistic Completeness Proof

- MathematicsJ. Symb. Log.
- 1976

In March 1973, W. Veldman [1] discovered that, by a slight modification of a Kripke-model, it was possible to give an intuitionistic proof of the completeness-theorem for the intuitionistic predicate…

Extending Gödel's negative interpretation to ZF

- Mathematics, PhilosophyJournal of Symbolic Logic
- 1975

It is shown that Godel's negative interpretation can be extended to Zermelo-Fraenkel set theory and an inner model S is defined in which the axioms of Zermel- FraenkelSet theory are true.

Advanced Logic for Applications

- Philosophy
- 1977

I. Henkin Sets and the Fundamental Theorem.- II. Derivation Rules and Completeness.- III. Gentzen Systems and Constructive Completeness Proofs.- IV. Quantification Theory with Identity and Functional…

An undecidable arithmetical statement

- Mathematics
- 1949

Publisher Summary This chapter provides an alternative proof of the existence of formally undecidable sentences. Instead of the arithmetization of syntax and the diagonal process which were used by…