Variable compactness in 1-order logic
type: Item
instance of: scholarly article
title: Variable compactness in 1-order logic
zbMATH Open document ID: 0929.03015
publication date: 2000-01-25T00:00:00Z
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 1308924
zbMATH Keywords: finite variable logic
zbMATH Keywords: relative completeness
zbMATH Keywords: first-order logic
zbMATH Keywords: Tarski's conjugated quasi-projections
author: L. N. Gordeev
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/jigpal/7.3.327
OpenAlex ID: W1971323190
DOI: 10.1093/JIGPAL/7.3.327
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 1308924