佐菲亚·阿达莫维奇 强制关系公理化及其在Peano算法中的应用。 （英语） 兹伯利0578.03014 芬丹。数学。 120167-186（1984年）。 作者摘要：“在本文中，我们描述了设置理论强制力的强制力的形式属性和皮亚诺算法中的指标方法的共同点。”审核人：M.Teruashvili先生 MSC公司： 03C25号 模型理论强迫 30楼03号 一阶算法和片段 关键词：强迫的形式性质;设置理论强制;指标法;皮亚诺算术 PDF格式BibTeX公司 XML格式引用 \textit{Z.Adamowicz}，芬丹。数学。120、167--186（1984年；Zbl 0578.03014） 全文： 内政部 欧洲DML