An arithmetical view to first-order logic
From MaRDI portal
Publication:636314
DOI10.1016/j.apal.2009.06.006zbMath1259.03052MaRDI 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
graph coloring; axiomatizability; ultraproducts; continuous quantifiers; Khwārazmi; relational bound; value space
05C15: Coloring of graphs and hypergraphs
03C80: Logic with extra quantifiers and operators
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03C30: Other model constructions
Cites Work