Bar induction and \(\omega\) model reflection
type: Item
instance of: scholarly article
title: Bar induction and \(\omega\) model reflection
zbMATH Open document ID: 0930.03087
DOI: 10.1016/S0168-0072(98)00056-6
author: Gerhard Jäger
author: Thomas Strahm
published in: Annals of Pure and Applied Logic
publication date: 1999-09-22T00:00:00Z
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F25
zbMATH DE Number: 1340823
zbMATH Keywords: Schütte deduction chains
zbMATH Keywords: completeness of \(\omega\) logic
zbMATH Keywords: \(\omega\) model reflection
zbMATH Keywords: bar induction
MaRDI profile type: Publication
cites work: Q4111536
cites work: Q4143279
cites work: Q3960691
cites work: Q3395521
full work available at URL: s0168-0072(98)00056-6
OpenAlex ID: W2058431170
description: scientific article; zbMATH DE number 1340823