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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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.
Collapse theories as beable theories.Guido Bacciagaluppi - 2010 - Manuscrito 33 (1):19-54.
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Positive Model Theory and Amalgamations.Mohammed Belkasmi - 2014 - Notre Dame Journal of Formal Logic 55 (2):205-230.
A Unified Model of the Division of Cognitive Labor.Rogier De Langhe - 2014 - Philosophy of Science 81 (3):444-459.
Definability and quantifier elimination for j3-theories.Ítala M. L. D'Ottaviano - 1987 - Studia Logica 46 (1):37 - 54.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
The Semantics of Entailment Omega.Yoko Motohama, Robert K. Meyer & Mariangiola Dezani-Ciancaglini - 2002 - Notre Dame Journal of Formal Logic 43 (3):129-145.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
Hanf number of omitting type for simple first-order theories.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (3):319-324.
Selection type theories.Lindley Darden & Joseph A. Cain - 1989 - Philosophy of Science 56 (1):106-129.
The Idea of a Social Cycle.Gene Callahan & Andreas Hoffman - manuscript
Reinforcing the Three ‘R’s: Reduction, Reception, and Replacement.Ronald P. Endicott - 2007 - In M. Schouten & H. Looren de Jong (eds.), The Matter of the Mind: Philosophical Essays on Psychology, Neuroscience, and Reduction. Blackwell.

Analytics

Added to PP
2015-09-04

Downloads
7 (#1,316,802)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

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.

View all 24 references / Add more references