A first order type theory for the theory of sets
Notre Dame Journal of Formal Logic 9 (4):367-370 (1968)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesFred Coppotelli (1977). On Two First Order Type Theories for the Theory of Sets. Notre Dame Journal of Formal Logic 18 (1):147-150.
Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
José Ferreiros (1997). Notes on Types, Sets, and Logicism, 1930-1950. Theoria 12 (1):91-124.
Miklós Ferenczi (2010). Non-Standard Stochastics with a First Order Algebraization. Studia Logica 95 (3).
Ingrid Lindström (1989). A Construction of Non-Well-Founded Sets Within Martin-Löf's Type Theory. Journal of Symbolic Logic 54 (1):57-64.
Paul C. Gilmore (2001). An Intensional Type Theory: Motivation and Cut-Elimination. Journal of Symbolic Logic 66 (1):383-400.
Jan Smith (1984). An Interpretation of Martin-Löf's Type Theory in a Type-Free Theory of Propositions. Journal of Symbolic Logic 49 (3):730-753.
Riccardo Guastini (2000). On Legal Order: Some Criticism of the Received View. Ethical Theory and Moral Practice 3 (3):263-272.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,830 of 549,087 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
