Independent Axiomatization and its Relation to the Hypersimple Set

Mathematical Logic Quarterly 14 (25-29):449-456 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680142505

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

The Hypersimple-Free C.E. WTT Degrees Are Dense in the C.E. WTT Degrees.George Barmpalias & Andrew E. M. Lewis - 2006 - Notre Dame Journal of Formal Logic 47 (3):361-370.
Turing degrees of hypersimple relations on computable structures.Valentina S. Harizanov - 2003 - Annals of Pure and Applied Logic 121 (2-3):209-226.
On Béziau’s logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
The axiomatization of randomness.Michiel van Lambalgen - 1990 - Journal of Symbolic Logic 55 (3):1143-1167.
Independently axiomatizable ℒω1,ω theories.Greg Hjorth & Ioannis A. Souldatos - 2009 - Journal of Symbolic Logic 74 (4):1273-1286.
Independently Axiomatizable [image] Theories.Greg Hjorth & Ioannis A. Souldatos - 2009 - Journal of Symbolic Logic 74 (4):1273 - 1286.
Pieces of mereology.Andrzej Pietruszczak - 2005 - Logic and Logical Philosophy 14 (2):211-234.
Some remarks on axiomatizing logical consequence operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.
Independent axiomatizability of sets of sentences.Piotr Wojtylak - 1989 - Annals of Pure and Applied Logic 44 (3):259-299.
The axiomatization of Horst Wessel's strict logical consequence relation.Andrzej Pietruszczak - 2004 - Logic and Logical Philosophy 13:121-138.
Order-Independent Transformative Decision Rules.Martin Peterson & Sven Ove Hansson - 2005 - Synthese 147 (2):323-342.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets.Andrej Muchnik & Alexei Semenov - 2006 - Annals of Pure and Applied Logic 141 (3):437-441.
Independence in Information Spaces.Pavel Naumov - 2012 - Studia Logica 100 (5):953-973.

Analytics

Added to PP
2014-01-16

Downloads
32 (#499,124)

6 months
1 (#1,469,946)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Independent axiomatizability of sets of sentences.Piotr Wojtylak - 1989 - Annals of Pure and Applied Logic 44 (3):259-299.

Add more citations

References found in this work

No references found.

Add more references