On the algebraization of Henkin‐type second‐order logic

Mathematical Logic Quarterly 68 (2):149-158 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,509

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.
Henkin Quantifiers and the Definability of Truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.
Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.
Higher-Order Logic and Type Theory.John L. Bell - 2022 - Cambridge University Press.
Explicit Henkin Sentences.Robert M. Solovay - 1985 - Journal of Symbolic Logic 50 (1):91-93.

Analytics

Added to PP
2022-04-10

Downloads
4 (#1,230,205)

6 months
3 (#210,496)

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

Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Second-Order Logic and Foundations of Mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
A Mathematical Introduction to Logic.Herbert B. Enderton - 2003 - Bulletin of Symbolic Logic 9 (3):406-407.
A Completeness Theorem for Higher Order Logics.Gábor Sági - 2000 - Journal of Symbolic Logic 65 (2):857-884.

View all 9 references / Add more references