Concepedia

A type-free system extending (ZFC)

John Myhill, Bob Flagg

Annals of Pure and Applied Logic · 1989 · 19 citations · 9 references

DOI

Concepts

References

9

Foundations of Constructive Analysis.

Abraham Robinson, Errett Bishop · American Mathematical Monthly · 1968 · 1.3K citations

, , +4

Toward useful type-free theories. I

Solomon Feferman · Journal of Symbolic Logic · 1984 · 382 citations

, , +12

J. L. Bell. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford1977, xviii + 126 pp.

Thomas Jech · Journal of Symbolic Logic · 1981 · 133 citations

, , +13

BOOLEAN VALUED MODELS AND INDEPENDENCE PROOFS IN SET THEORY

Keith Devlin · Bulletin of the London Mathematical Society · 1978 · 107 citations

, , +11

Implication and analysis in classical frege structures

Robert C. Flagg, John Myhill · Annals of Pure and Applied Logic · 1987 · 27 citations

, , +2