Abstract
We define elementary extension and elementary equivalence in Positive Logic.
Citation
Bruno Poizat. "Univers positifs." J. Symbolic Logic 71 (3) 969 - 976, September 2006. https://doi.org/10.2178/jsl/1154698585
Information
Published: September 2006
First available in Project Euclid: 4 August 2006
zbMATH: 1110.03022
MathSciNet: MR2251549
Digital Object Identifier: 10.2178/jsl/1154698585
Rights: Copyright © 2006 Association for Symbolic Logic