Anew relation-combining theorem and its application

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):209-212 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19920380117

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

Anew relation‐combining theorem and its application.Zhi‐Wei Sun - 1992 - Mathematical Logic Quarterly 38 (1):209-212.
Some Points in the Philosophy of Physics: Time, Evolution and Creation.E. A. Milne - 1934 - Philosophy 9 (33):19-38.
A Compactness Theorem For Infinite Constraint Satisfaction.Robert Cowen - 1998 - Reports on Mathematical Logic:97-107.
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem.Nobuyoshi Motohashi - 1984 - Journal of Symbolic Logic 49 (4):1262-1267.
Löb's theorem as a limitation on mechanism.Michael Detlefsen - 2002 - Minds and Machines 12 (3):353-381.
A note on Hjorth's oscillation theorem.Julien Melleray - 2010 - Journal of Symbolic Logic 75 (4):1359-1365.
Combining argumentation and bayesian nets for breast cancer prognosis.Matt Williams & Jon Williamson - 2006 - Journal of Logic, Language and Information 15 (1-2):155-178.
Theorem proving for untyped constructive λ-calculus: implementation and application.A. Ramsay - 2001 - Logic Journal of the IGPL 9 (1):83-100.
The indescribability of the order of the indescribable cardinals.Kai Hauser - 1992 - Annals of Pure and Applied Logic 57 (1):45-91.
Lecture notes on baby Boolean relation theory.Harvey Friedman - manuscript
The diagonalization lemma, Rosser and Tarski.Peter Smith - unknown
Combinations of model checking and theorem proving.Tomás E. Uribe - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 151--170.
A Cardboard Pythagorean Teaching Aid.David Socher - 2005 - Teaching Philosophy 28 (2):155-161.
A jump inversion theorem for the enumeration jump.I. N. Soskov - 2000 - Archive for Mathematical Logic 39 (6):417-437.
An application of invariant sets to global definability.Douglas E. Miller - 1979 - Journal of Symbolic Logic 44 (1):9-14.

Analytics

Added to PP
2016-02-04

Downloads
27 (#592,003)

6 months
5 (#646,314)

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