A Quantifier for Isomorphisms

Mathematical Logic Quarterly 26 (7-9):123-130 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800260706

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

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

A Quantifier for Isomorphisms.J. Ouko Väänänen - 1980 - Mathematical Logic Quarterly 26 (7‐9):123-130.
Second-order type isomorphisms through game semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.
Three quantifier sentences.Harvey Friedman - manuscript
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Games played on partial isomorphisms.Vaananen Jouko & Velickovic Boban - 2004 - Archive for Mathematical Logic 43 (1).
Games played on partial isomorphisms.Jouko Väänänen & Boban Veličković - 2004 - Archive for Mathematical Logic 43 (1):19-30.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
The Logical Form of Quantifier Phrases: Quantifier-sortalvariable.John Corcoran - 1999 - Bulletin of Symbolic Logic 5:418-419.
On the definability of the quantifier “there exist uncountably many”.Žarko Mijajlović - 1985 - Studia Logica 44 (3):257 - 264.
Quantifiers and congruence closure.Jörg Flum, Matthias Schiehlen & Jouko Väänänen - 1999 - Studia Logica 62 (3):315-340.
On the Logic of Quantifier Variance (2008).Marcus Rossberg - manuscript
Generalized Quantifiers and Measure Theory.Charles William Kurtz - 1996 - Dissertation, Syracuse University
Unary quantifiers on finite models.Jouko Väänänen - 1997 - Journal of Logic, Language and Information 6 (3):275-304.
The hierarchy theorem for generalized quantifiers.Lauri Hella, Kerkko Luosto & Jouko Väänänen - 1996 - Journal of Symbolic Logic 61 (3):802-817.
Quantifier-eliminable locally finite graphs.Shawn Hedman & Wai Yan Pong - 2011 - Mathematical Logic Quarterly 57 (2):180-185.

Analytics

Added to PP
2015-12-02

Downloads
27 (#585,831)

6 months
2 (#1,187,206)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jouko A Vaananen
University of Helsinki

Citations of this work

Add more citations

References found in this work

Add more references