An arithmetical view to first-order logic

DOI10.1016/j.apal.2009.06.006zbMath1259.03052OpenAlexW2068520516MaRDI QIDQ636314

Bruno Poizat, Massoud Pourmahdian, Seyed-Mohammad Bagheri

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.06.006

zbMATH Keywords

graph coloringaxiomatizabilityultraproductscontinuous quantifiersKhwārazmirelational boundvalue space

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Logic with extra quantifiers and operators (03C80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other model constructions (03C30)

Cites Work

• Fondements de la logique positive
• Continuous Model Theory. (AM-58)
• Unnamed Item
• Unnamed Item

This page was built for publication: An arithmetical view to first-order logic