From algebra to logic: there and back again -- the story of a hierarchy

Abstract : This is an extended survey of the results concerning a hierarchy of languages that is tightly connected with the quantifier alternation hierarchy within the two-variable fragment of first order logic of the linear order.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00998917
Contributor : Pascal Weil <>
Submitted on : Tuesday, June 3, 2014 - 6:32:53 AM
Last modification on : Thursday, January 11, 2018 - 6:20:17 AM
Long-term archiving on : Wednesday, September 3, 2014 - 10:58:23 AM

Files

2014-05-21-DLT-PW.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00998917, version 1
  • ARXIV : 1406.1035

Collections

Citation

Pascal Weil. From algebra to logic: there and back again -- the story of a hierarchy. Developments in Language Theory 2014, Aug 2014, Ekaterinburg, Russia. pp.275-278. ⟨hal-00998917⟩

Share

Metrics

Record views

317

Files downloads

257