Characterizing Second Order Logic with First Order Quantifiers

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):419-422 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19790252507

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

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

Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Mathematical Logic Quarterly 25 (25‐29):419-422.
Probabilistic Semantics for First-Order Logic.Hugues Leblanc - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (32):497-509.
A Note on the Interpolation Theorem in First Order Logic.George Weaver - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):215-218.
Second Order Definability Via enumerations.Ivan N. Soskov - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):45-54.
Pure Logic with Branched Quantifiers.Marcin Mostowski - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):45-48.
Second-order and Inductive Definability on Finite Structures.Michel De Rougemont - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):47-63.
On Complexity of Complete First-Order Theories.Glen R. Cooper - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (8-12):93-136.
The first‐order theory of the c‐degrees.Paddy Farrinoton - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):437-446.
Fuzzy Models of First Order Languages.A. di Nola & G. Gerla - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):331-340.
EQ and the First Order Functional Calculus.Nuel D. Belnap - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):217-218.

Analytics

Added to PP
2016-02-04

Downloads
31 (#533,234)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized Quantification as Substructural Logic.Natasha Alechina & Michiel Van Lambalgen - 1996 - Journal of Symbolic Logic 61 (3):1006 - 1044.
Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

Add more references