Toward Useful Type-Free Theories. I

@article{Feferman1984TowardUT,
  title={Toward Useful Type-Free Theories. I},
  author={Solomon Feferman},
  journal={J. Symb. Log.},
  year={1984},
  volume={49},
  pages={75-111}
}
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. 
Highly Influential
This paper has highly influenced 21 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
80 Citations
62 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 62 references

A note on three-valued logic and Tarski theorern on truth definitions, preprint, Mathematisches Institut, Miinchen, 16 pp. (published in Studia Logica

  • A note on three-valued logic and Tarski theorern…
  • 1980

I9801 Consistency of the unrestricted abstraction principle using an intensional equivalence operator, in Seldin

  • I9801 Consistency of the unrestricted abstraction…
  • 1980

I9801 The naturalness of illative combinatory logic as a basis for matl?ematics,in Seldin

  • I9801 The naturalness of illative combinatory…
  • 1980

Tarski extensions" of theories, preprint, Mathematisches Institut

  • Tarski extensions" of theories, preprint…
  • 1979

29 Some further references that I have not mentioned or only barely touched on can be found in the present bibliography and in that of Feferman [1976c] as well, of course

  • 29 Some further references that I have not…
  • 1978

EDITOR) '[I9701 The paradox of the liar

  • R L Martin
  • EDITOR) '[I9701 The paradox of the liar
  • 1978

Non-extensional type-free theories of partial operations and classifications. I , I=ISILC Proof Theory Symposion

  • Lecture Notes in Mathematics
  • 1974

I9671 Set-theoretical foundations of category theory (with an appendix by G. Kreisel), Reports of the Midwest Category Seminar. iii

  • Lecture Notes in Mathematics
  • 1969

As always, the two cases of (TkA),of special interest to us are those for k = 0 , l : Consistency of a scheme (CA),is due to Fitch

  • Type-Free Theories
  • As always, the two cases of (TkA),of special…
  • 1966

The notion of rank in set-theory, Summaries of talks presented at the Summer Institute for Symbolic Logic Institute for Defense Analyses

  • D Scott
  • N.J
  • 1957

Similar Papers

Loading similar papers…