Alexander Razborov, Flag algebras. Journal of Symbolic Logic, vol. 72 , no. 4, pp. 1239–1282

Bulletin of Symbolic Logic 24 (1):107-108 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2018.11

Links

PhilArchive



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

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

Flag Algebras.Alexander A. Razborov - 2007 - Journal of Symbolic Logic 72 (4):1239 - 1282.
2010 north american annual meeting of the association for symbolic logic.Alexander Razborov, Bob Coecke, Zoé Chatzidakis, Bjørn Kjos, Nicolaas P. Landsman, Lawrence S. Moss, Dilip Raghavan, Tom Scanlon, Ernest Schimmerling & Henry Towsner - 2011 - Bulletin of Symbolic Logic 17 (1):127-154.
Review: Paul W. Beame, Samuel R. Buss, Proof Complexity and Feasible Arithmetics, DIMACS Workshop, April 21-24, 1996. [REVIEW]Alexander A. Razborov - 1999 - Journal of Symbolic Logic 64 (4):1823-1825.
REVIEWS-Minimum propositional proof length is NP-hard to linearly approximate.M. Alekhnovich & Alexander Razborov - 2002 - Bulletin of Symbolic Logic 8 (2):301-301.
Review: Michael Alekhnovich, Sam Buss, Shlomo Moran, Toniann Pitassi, Minimum Propositional Proof Length Is NP-Hard to Linearly Approximate. [REVIEW]Alexander Razborov - 2002 - Bulletin of Symbolic Logic 8 (2):301-302.
Notre Dame, Indiana May 20–May 23, 2009.Patricia Blanchette, Heike Mildenberger, André Nies, Anand Pillay, Alexander Razborov, Alexandra Shlapentokh, John R. Steel & Boris Zilber - 2009 - Bulletin of Symbolic Logic 15 (4).
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Reviewed Work(s): A new spectrum of recursive models using an amalgamation construction. The Journal of Symbolic Logic, vol. 73 by Uri Andrews; A computable N₀-categorical structure whose theory computes true arithmetic. The Journal of Symbolic Logic, vol. 72 by Bakhadyr Khoussainov; Antonio Montalbán. [REVIEW]Alexander G. Melnikov - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Omitting types and AF algebras.Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira & Alexander Sherman - 2014 - Archive for Mathematical Logic 53 (1):157-169.
Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
The logic of Peirce algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Review: T. Traczyk, On Post Algebras with Uncountable Chain of Constants. Algebras of Homomorphisms; Ph. Dwinger, Generalized Post Algebras. [REVIEW]Don Pigozzi - 1972 - Journal of Symbolic Logic 37 (1):188-189.
Note on Cylindric Algebras and Polyadic Algebras.A. H. Copeland - 1958 - Journal of Symbolic Logic 23 (1):57-58.
Some Theorems on Free Algebras and on Direct Products of Algebras.W. Peremans - 1955 - Journal of Symbolic Logic 20 (2):184-184.

Analytics

Added to PP
2018-04-27

Downloads
14 (#983,112)

6 months
5 (#627,653)

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

No references found.

Add more references