Complete Second Order Spectra

Mathematical Logic Quarterly 30 (32-34):509-524 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840303204

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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 complete extensions of the monadic second order theory of countable ordinals.J. Richard Büchi & Dirk Siefkes - 1983 - Mathematical Logic Quarterly 29 (5):289-312.
Review: Bruno Scarpellini, Proof Theory and Intuitionistic Systems. [REVIEW]A. S. Troelstra - 1974 - Journal of Symbolic Logic 39 (3):607-609.
On Complexity of Complete First‐Order Theories.Glen R. Cooper - 1982 - Mathematical Logic Quarterly 28 (8‐12):93-136.
Fraenkel-Carnap properties.G. Au George Weaver - 2005 - Mathematical Logic Quarterly 51 (3):285.
Bi‐embeddability spectra and bases of spectra.Ekaterina Fokina, Dino Rossegger & Luca San Mauro - 2019 - Mathematical Logic Quarterly 65 (2):228-236.
On the algebraization of Henkin‐type second‐order logic.Miklós Ferenczi - 2022 - Mathematical Logic Quarterly 68 (2):149-158.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Mathematical Logic Quarterly 25 (25‐29):419-422.
Bruno Scarpellini. Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz. The journal of symbolic logic, vol. 27 no. 2 , pp. 159–170.Alan Rose - 1964 - Journal of Symbolic Logic 29 (3):145.
Second‐Order Intensional Logic.M. J. Cresswell - 1972 - Mathematical Logic Quarterly 18 (19-20):297-320.

Analytics

Added to PP
2013-12-01

Downloads
36 (#626,850)

6 months
8 (#580,966)

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

Add more references