User menu

Models of Intuitionistic Tt and Nf

Bibliographic reference Dzierzgowski, D.. Models of Intuitionistic Tt and Nf. In: The Journal of Symbolic Logic, Vol. 60, no. 2, p. 640-653 (1995)
Permanent URL http://hdl.handle.net/2078.1/48010
  1. Teoria, IV, 3 (1984)
  2. Comptes Rendus de l’ Académie des Sciences de Paris, Série A, 280, 1657 (1975)
  3. Intuitionistic logic model theory and forcing (1969)
  4. Bulletin de la Société Mathématique de Belgique, série B, 44, 207 (1992)
  5. Set theory with a universal set. Exploiting an untyped universe, 20 (1992)
  6. Körner Friederike, Cofinal Indiscernibles and some Applications to New Foundations, 10.1002/malq.19940400305
  7. Lavendhomme R., Lucas T., A note on intuitionistic models of ${\rm ZF}$., 10.1305/ndjfl/1093870220
  8. Axiomatic set theory, XIII, 267 (1971)
  9. Myhill John, Some properties of intuitionistic zermelo-frankel set theory, Cambridge Summer School in Mathematical Logic (1973) ISBN:9783540055693 p.206-231, 10.1007/bfb0066775
  10. Axiomatic set theory, XIII, 185 (1974)
  11. Extending Gödel's negative interpretation to ZF, 40, 221 (1975)
  12. Logic, methodology and philosophy of science, 111 (1962)