Model Theories of Set Theories and Type Theory

Open Journal of Philosophy 4 (1):54-58 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.4236/ojpp.2014.41008

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
On analyzability in the forking topology for simple theories.Ziv Shami - 2006 - Annals of Pure and Applied Logic 142 (1):115-124.
Models of HoTT and the Constructive View of Theories.Andrei Rodin - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Maximal Stable Quotients of Invariant Types in Nip Theories.Krzysztof Krupiński & Adrián Portillo - forthcoming - Journal of Symbolic Logic:1-25.
Reduction, representation and commensurability of theories.Peter Schroeder-Heister & Frank Schaefer - 1989 - Philosophy of Science 56 (1):130-157.
ZF and the axiom of choice in some paraconsistent set theories.Thierry Libert - 2003 - Logic and Logical Philosophy 11:91-114.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.

Analytics

Added to PP
2015-09-04

Downloads
10 (#1,459,843)

6 months
2 (#1,693,973)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algebraic Structures of Mathematical Foundations.Robert Murray Jones - 2020 - Open Journal of Philosophy 10 (1):137-142.
Algebraic Structures of Mathematical Foundations.Robert Murray Jones - 2018 - Open Journal of Philosophy 8 (4):401-407.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.

View all 19 references / Add more references