CO‐Simple Higher‐Order Indecomposable Isols

&
Mathematical Logic Quarterly 26 (14-18):279-288 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800261408

Links

PhilArchive



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

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

Review: Alfred B. Manaster, Higher-Order Indecomposable Isols. [REVIEW]Matthew J. Hassett - 1968 - Journal of Symbolic Logic 33 (2):295-296.
An algebraic difference between isols and cosimple isols.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (3):557-561.
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.Joseph Barback - 1997 - Mathematical Logic Quarterly 43 (1):83-91.
The eliminability of higher order vagueness.Gerald Hull - manuscript
A Fine Structure in the Theory of Isols.Joseph Barback - 1998 - Mathematical Logic Quarterly 44 (2):229-264.
A dilemma for higher-order theories of consciousness.Isabel Gois - 2010 - Philosophia 38 (1):143-156.
System description: { A higher-order theorem prover?Michael Kohlhase - manuscript
Definability of directly indecomposable congruence modular algebras.Diego Vaggione - 1996 - Studia Logica 57 (2-3):239 - 241.
Higher-order global states : An alternative higher-order model of consciousness.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Higher-order global states (HOGS) An alternative higher-order model.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins. pp. 67.
The Problem of Respecting Higher-Order Doubt.David J. Alexander - 2013 - Philosophers' Imprint 13.
Necessary use of [image] induction in a reversal.Itay Neeman - 2011 - Journal of Symbolic Logic 76 (2):561 - 574.

Analytics

Added to PP
2014-01-16

Downloads
36 (#443,144)

6 months
1 (#1,469,946)

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

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

Add more references