A first order approach to correspondence and congruence systems

Mathematical Logic Quarterly 19 (14‐18):215-222 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19730191403

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,169

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

Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (2):147-161.
A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems.Peter Zahn - 1989 - Mathematical Logic Quarterly 35 (2):155-168.
On Set‐Theoretic Characterization of Congruence Lattices.Manfred Armbrust - 1970 - Mathematical Logic Quarterly 16 (8):417-419.
Congruence properties of pseudocomplemented De Morgan algebras.Hanamantagouda P. Sankappanavar & Júlia Vaz de Carvalho - 2014 - Mathematical Logic Quarterly 60 (6):425-436.
Quantifiers and congruence closure.Jörg Flum, Matthias Schiehlen & Jouko Väänänen - 1999 - Studia Logica 62 (3):315-340.
Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Mathematical Logic Quarterly 25 (25‐29):419-422.
On Solvable Congruences in Finitely Decidable Varieties.Matthew A. Valeriote - 1994 - Mathematical Logic Quarterly 40 (3):398-414.
Probabilistic Semantics for First‐Order Logic.Hugues Leblanc - 1979 - Mathematical Logic Quarterly 25 (32):497-509.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.

Analytics

Added to PP
2013-12-01

Downloads
23 (#983,168)

6 months
3 (#1,061,821)

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

Limit ultraproducts.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (2):212-234.
The lω1ω1-theory of Hilbert spaces.Ralph Kopperman - 1967 - Journal of Symbolic Logic 32 (3):295 - 304.
On Set‐Theoretic Characterization of Congruence Lattices.Manfred Armbrust - 1970 - Mathematical Logic Quarterly 16 (8):417-419.

Add more references