An analysis of Karp's interpolation theorem and the notion of k- consistency property
type: Item
instance of: scholarly article
title: An analysis of Karp's interpolation theorem and the notion of k- consistency property
zbMATH Open document ID: 0485.03014
author: Ruggero Ferro
published in: Rendiconti del Seminario Matematico della Università di Padova
publication date: 1981-01-01T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/107807
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 3762032
zbMATH Keywords: omega-valid
zbMATH Keywords: consistency property
zbMATH Keywords: interpolation theorem
MaRDI profile type: Publication
cites work: Q1241504
cites work: Interpolation theorems for Lk,k2+
cites work: Q4065507
cites work: Infinitary analogs of theorems from first order model theory
description: scientific article; zbMATH DE number 3762032