On the strength of some semi-constructive theories

@inproceedings{Feferman2009OnTS,
  title={On the strength of some semi-constructive theories},
  author={Solomon Feferman},
  year={2009}
}
  • Solomon Feferman
  • Published 2009
  • Mathematics
  • 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.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 23 REFERENCES

    Intuitionistic choice and classical logic

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Some applications of Kleene’s methods for intuitionistic

    • H. Friedman
    • 1973
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

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

    • S. Feferman
    • 1968
    VIEW 7 EXCERPTS
    HIGHLY INFLUENTIAL

    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

    • S. Feferman
    • Bull. Symbolic Logic
    • 2001
    VIEW 2 EXCERPTS