Definability on Formulas With Single Quantifier

Second Order Definability Via enumerations.Ivan N. Soskov - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):45-54.

Second-order and Inductive Definability on Finite Structures.Michel De Rougemont - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):47-63.

A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (13-15):227-228.

On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):359-370.

Classification of Quantifier Prefixes Over Diophantine Equations.James P. Jones - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):403-410.

Formulas ofL Where aa is not in The Scope of “¬”.Andreas Baudisch - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (16-17):249-254.

Analytics

Added to PP
2015-12-02

Downloads
1 (#1,913,683)

6 months
31 (#107,547)

Historical graph of downloads

How can I increase my downloads?

No references found.

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...