# On the strength of some semi-constructive theories

@inproceedings{Feferman2009OnTS, title={On the strength of some semi-constructive theories}, author={Solomon Feferman}, year={2009} }

Most axiomatizations of set theory that have been treated metamathematically have been based either entirely on classical logic or entirely on intuitionistic logic. But a natural conception of the set- theoretic universe is as an indenite (or \potential") totality, to which intuitionistic logic is more appropriately applied, while each set is taken to be a denite (or \completed") totality, for which classical logic is ap- propriate; so on that view, set theory should be axiomatized on some… CONTINUE READING

Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

#### Citations

##### Publications citing this paper.

SHOWING 1-8 OF 8 CITATIONS

## An indeterminate universe of sets

VIEW 6 EXCERPTS

CITES BACKGROUND, METHODS & RESULTS

HIGHLY INFLUENCED

## The Metaphysics of Logic: Logic, mathematics, and conceptual structuralism

VIEW 3 EXCERPTS

CITES BACKGROUND

## A Theory of Particular Sets.

VIEW 1 EXCERPT

CITES BACKGROUND

## Indefiniteness in Semi-Intuitionistic Set Theories: on a Conjecture of Feferman

VIEW 2 EXCERPTS

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 23 REFERENCES

## Gödel's Functional ("Dialectica") Interpretation

VIEW 19 EXCERPTS

HIGHLY INFLUENTIAL

## Intuitionistic choice and classical logic

VIEW 5 EXCERPTS

HIGHLY INFLUENTIAL

## Some applications of Kleene’s methods for intuitionistic

VIEW 4 EXCERPTS

HIGHLY INFLUENTIAL

## Ordinals associated with theories for one inductively defined set. (Unpublished notes

VIEW 7 EXCERPTS

HIGHLY INFLUENTIAL

## Theories of Finite Type Related to Mathematical Practice

VIEW 4 EXCERPTS

## ORDINALS AND FUNCTIONALS IN PROOF THEORY

VIEW 2 EXCERPTS

## Functional interpretation and inductive definitions

VIEW 1 EXCERPT

## Operational set theory and small large cardinals

VIEW 3 EXCERPTS

## Bounded functional interpretation

VIEW 1 EXCERPT

## On the strength of some systems with the numerical omniscience scheme, (abstract

VIEW 2 EXCERPTS