Theories with Effectively Inseparable Nuclei

Mathematical Logic Quarterly 6 (15-22):219-224 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19600061502

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

On the relation provable equivalence and on partitions in effectively inseparable sets.Claudio Bernardi - 1981 - Studia Logica 40 (1):29 - 37.
Effectively inseparable Boolean algebras in lattices of sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.
Splittings of effectively speedable sets and effectively levelable sets.Roland S. H. Omanadze - 2004 - Journal of Symbolic Logic 69 (1):143-158.
The weak nuclear force, the chirality of atoms, and the origin of optically active molecules.Richard M. Pagni - 2009 - Foundations of Chemistry 11 (2):105-122.
The intralaminar and midline nuclei of the thalamus. Anatomical and functional evidence for participation in processes of arousal and awareness.Ysbrand D. Van der Werf, Menno P. Witter & Henk J. Groenewegen - 2002 - Brain Research Reviews 39 (2):107-140.
Visual awareness and the thalamic intralaminar nuclei.Christof Koch - 1995 - Consciousness and Cognition 4 (2):163-66.
The functional neuroanatomy of awareness: With a focus on the role of various anatomical systems in the control of intermodal attention.John Smythies - 1997 - Consciousness and Cognition 6 (4):455-81.
More on The Decidability of Mereological Theories.Hsing-Chien Tsai - 2011 - Logic and Logical Philosophy 20 (3):251-265.
Finitely inseparable first-order axiomatized mereotopological theories.Hsing-Chien Tsai - 2013 - Logic and Logical Philosophy 22 (3):347-363.
The finite inseparability of the first-order theory of diagonalisable algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
Effectively and Noneffectively Nowhere Simple Sets.Valentina S. Harizanov - 1996 - Mathematical Logic Quarterly 42 (1):241-248.
Abstraction, inseparability, and identity.Donald L. M. Baxter - 1997 - Philosophy and Phenomenological Research 57 (2):307-330.
Dewey's Social Philosophy: Democracy as Education by John R. Shook.Jeff Jackson - 2015 - Education and Culture 31 (2):113-117.
Effectively Decidable Theories.Alan Cobham - 1966 - Journal of Symbolic Logic 31 (4):653-653.
Effectively retractable theories and degrees of undecidability.J. P. Jones - 1969 - Journal of Symbolic Logic 34 (4):597-604.

Analytics

Added to PP
2013-11-24

Downloads
34 (#459,882)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.

View all 8 references / Add more references