Topological framework for finite injury

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

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19920380114

Links

PhilArchive



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

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

Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Topological Framework for Non‐Priority.Kyriakos Kontostathis - 1991 - Mathematical Logic Quarterly 37 (31‐32):495-500.
Topological Framework for Non‐Priority.Kyriakos Kontostathis - 1991 - Mathematical Logic Quarterly 37 (31-32):495-500.
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Inverse topological systems and compactness in abstract model theory.Daniele Mundici - 1986 - Journal of Symbolic Logic 51 (3):785-794.
On topological properties of ultraproducts of finite sets.Gábor Sági & Saharon Shelah - 2005 - Mathematical Logic Quarterly 51 (3):254-257.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
Dynamic topological logic.S. Artemov - unknown
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Connecting topological Hopf singularities.Robert Hardt & Tristan Rivière - 2003 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 2 (2):287-344.
First-order topological axioms.R. D. Kopperman - 1981 - Journal of Symbolic Logic 46 (3):475-489.

Analytics

Added to PP
2016-02-04

Downloads
34 (#445,975)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A general framework for priority arguments.Steffen Lempp & Manuel Lerman - 1995 - Bulletin of Symbolic Logic 1 (2):189-201.
The combinatorics of the splitting theorem.Kyriakos Kontostathis - 1997 - Journal of Symbolic Logic 62 (1):197-224.

Add more citations

References found in this work

Degrees of unsolvability.Joseph Robert Shoenfield - 1972 - New York,: American Elsevier.
Degrees of Unsolvability.Gerald E. Sacks - 1966 - Princeton University Press.
Degrees of Unsolvability.Leonard P. Sasso - 1975 - Journal of Symbolic Logic 40 (3):452-453.

Add more references