Refined hierarchy of formulas
type: Item
instance of: scholarly article
title: Refined hierarchy of formulas
zbMATH Open document ID: 0778.03012
DOI: 10.1007/BF01980251
published in: Algebra and Logic
publication date: 1993-06-29T00:00:00Z
Mathematics Subject Classification ID: 03D55
zbMATH DE Number: 220178
zbMATH Keywords: hierarchy of predicate logic
zbMATH Keywords: quantifier alternations
zbMATH Keywords: models
zbMATH Keywords: hierarchy of formulas
zbMATH Keywords: hierarchy of sets
zbMATH Keywords: index sets
author: Victor Selivanov
MaRDI profile type: Publication
cites work: Q4712236
cites work: Q3320353
cites work: Q5573961
full work available at URL: https://doi.org/10.1007/bf01980251
OpenAlex ID: W2008977977
description: scientific article; zbMATH DE number 220178