A Note on Closed Theories

Studies in History and Philosophy of Science Part A 13 (1):81 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0039-3681(82)90006-1

Links

PhilArchive



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

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

Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic.Albert Visser - 2006 - Notre Dame Journal of Formal Logic 47 (3):299-309.
A Note On Existentially Closed Difference Fields With Algebraically Closed Fixed Field.Anand Pillay - 2001 - Journal of Symbolic Logic 66 (2):719-721.
A note on existentially closed difference fields with algebraically closed fixed field.Anand Pillay - 2001 - Journal of Symbolic Logic 66 (2):719-721.
A note on the normal form of closed formulas of interpretability logic.Petr Hájek & Vítězslav Švejdar - 1991 - Studia Logica 50 (1):25 - 28.
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields.Dov M. Gabbay - 1973 - Journal of Symbolic Logic 38 (1):86-92.
Note on generalizing theorems in algebraically closed fields.Matthias Baaz & Richard Zach - 1998 - Archive for Mathematical Logic 37 (5-6):297-307.
Approximating Cartesian Closed Categories in NF-Style Set Theories.Morgan Thomas - 2018 - Journal of Philosophical Logic 47 (1):143-160.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
Theories of modules closed under direct products.Roger Villemaire - 1992 - Journal of Symbolic Logic 57 (2):515-521.
A note on full intuitionistic linear logic.G. M. Bierman - 1996 - Annals of Pure and Applied Logic 79 (3):281-287.
A topological characterization of consistency of logic theories in propositional logic.Guo-Jun Wang & Yan-Hong She - 2006 - Mathematical Logic Quarterly 52 (5):470-477.
Atomicity and Causal Completeness.Zalán Gyenis & Miklós Rédei - 2014 - Erkenntnis 79 (S3):1-15.
Reverse mathematics of separably closed sets.Jeffry L. Hirst - 2006 - Archive for Mathematical Logic 45 (1):1-2.
A unified theory of quotation.Ken Akiba - 2005 - Pacific Philosophical Quarterly 86 (2):161–171.

Analytics

Added to PP
2010-09-02

Downloads
18 (#826,353)

6 months
2 (#1,193,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references