Applications of Many‐Sorted Robinson Consistency Theorem

Mathematical Logic Quarterly 27 (11-12):181-188 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810271103

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,748

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

An Institution-Independent Proof of the Robinson Consistency Theorem.Daniel Gâinâ & Andrei Popescu - 2007 - Studia Logica 85 (1):41-73.
Consistency and interpolation in linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2023 - Archive for Mathematical Logic 62 (7):931-939.
On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories.Juan Vidal & Juan Tur - 2006 - Reports on Mathematical Logic:127-158.
On a consistency theorem connected with the generalized continuum problem.András Hajnal - 1956 - Mathematical Logic Quarterly 2 (8-9):131-136.
A Note on Applications of the Löwenheim‐Skolem‐Theorem in General Topology.Ingo Bandlow - 1989 - Mathematical Logic Quarterly 35 (3):283-288.
Effective Structures.Alexandra A. Soskova - 1997 - Mathematical Logic Quarterly 43 (2):235-250.
List of participants 17 Robert K. Meyer (Camberra, Australia) Barbara Morawska (Gdansk, Poland) Daniele Mundici (Milan, Italy).Kazumi Nakamatsu, Marek Nasieniewski, Volodymyr Navrotskiy, Sergey Pavlovich Odintsov, Carlos Oiler, Mieczyslaw Omyla, Hiroakira Ono, Ewa Orlowska, Katarzyna Palasihska & Francesco Paoli - 2001 - Logic and Logical Philosophy 7:16.
Reducing the consistency strength of an indestructibility theorem.Arthur Agler - 2008 - Mathematical Logic Quarterly 54 (3):288-293.
Computability Theory.Daniele Mundici & Wilfried Sieg - unknown
Ghilardi Silvio 1, Mundici Daniele 2.Logica Studia - 2003 - Studia Logica 73 (1):3.

Analytics

Added to PP
2013-11-24

Downloads
78 (#283,935)

6 months
7 (#573,527)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Compactness, interpolation and Friedman's third problem.Daniele Mundici - 1982 - Annals of Mathematical Logic 22 (2):197.

Add more citations

References found in this work

Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.

View all 6 references / Add more references