An application of a theorem of Rothmaler

&
Logic Journal of the IGPL 20 (6):1214-1219 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzs003

Links

PhilArchive



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

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

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.
Theorem proving for untyped constructive λ-calculus: implementation and application.A. Ramsay - 2001 - Logic Journal of the IGPL 9 (1):83-100.
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.
Mittag-Leffler modules.Philipp Rothmaler - 1997 - Annals of Pure and Applied Logic 88 (2-3):227-239.
The translation theorem.Peter Cholak - 1994 - Archive for Mathematical Logic 33 (2):87-108.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
A Note on I‐Types.Philipp Rothmaler - 1981 - Mathematical Logic Quarterly 27 (2‐6):95-96.
A representation theorem for co-diagonalizable algebras.Jacek Hawranek - 1985 - Bulletin of the Section of Logic 14 (3):124-125.
Stationary types in moduless.Philipp Rothmaler - 1983 - Mathematical Logic Quarterly 29 (8):445-464.
Game logic and its applications II.Mamoru Kaneko & Takashi Nagashima - 1997 - Studia Logica 58 (2):273-303.
Anew relation‐combining theorem and its application.Zhi‐Wei Sun - 1992 - Mathematical Logic Quarterly 38 (1):209-212.
A Note on I‐Types.Philipp Rothmaler - 1981 - Mathematical Logic Quarterly 27 (2-6):95-96.
When cotorsion modules are pure injective.Ivo Herzog & Philipp Rothmaler - 2009 - Journal of Mathematical Logic 9 (1):63-102.

Analytics

Added to PP
2016-06-30

Downloads
6 (#1,430,516)

6 months
3 (#992,474)

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