A Consistent Higher‐Order Theory Without a (Higher‐Order) Model

Mathematical Logic Quarterly 35 (5):385-386 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19890350502

Other Versions

reprint Forster, Thomas (1989) "A Consistent Higher-Order Theory Without a Model". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35(5):385-386

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,381

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

Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
CO‐Simple Higher‐Order Indecomposable Isols.Jeffrey Remmel & Alfred Manaster - 1980 - Mathematical Logic Quarterly 26 (14-18):279-288.
CO‐Simple Higher‐Order Indecomposable Isols.Jeffery B. Remmel & Alfred B. Manaster - 1980 - Mathematical Logic Quarterly 26 (14-18):279-288.
Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice.Susumu Hayashi - 1980 - Annals of Mathematical Logic 19 (1):33.
Orey Steven. Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 , pp. 72–84. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):96-96.
Constructibility in higher order arithmetics.A. Sochor - 1993 - Archive for Mathematical Logic 32 (6):381-389.
The Use of Domain Information and Higher Order Logic for Model Management.Michael Uschold - 1992 - Artificial Intelligence Applications Institute, University of Edinburgh.
Higher-order global states : An alternative higher-order model of consciousness.Robert Van Gulick - 2004 - In Rocco J. Gennaro, Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Ultratopologies.Gábor Sági & János Gerlits - 2004 - Mathematical Logic Quarterly 50 (6):603-612.

Analytics

Added to PP
2013-12-01

Downloads
18 (#1,203,083)

6 months
2 (#1,361,864)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Thomas Forster
Cambridge University

Citations of this work

No citations found.

Add more citations

References found in this work

Negative types.Hao Wang - 1952 - Mind 61 (243):366-368.

Add more references