Some remarks on equivalence in infinitary and stationary logic
type: Item
instance of: scholarly article
title: Some remarks on equivalence in infinitary and stationary logic
zbMATH Open document ID: 0554.03022
author: Matt Kaufmann
published in: Notre Dame Journal of Formal Logic
publication date: 1984-01-01T00:00:00Z
review text: The stationary logic L(aa) contains a quantifier aa (''almost all'') ranging over countable sets. The author shows that for every cardinal \(\kappa\) there are structures of cardinality \(2^{\kappa}\) which are \(L_{\infty \kappa}\)- but not L(aa)-equivalent. Moreover, under suitable assumptions there is a family of \(2^{\kappa^+}\) linear orders of power \(\kappa^+\) which are pairwise \(L_{\infty \kappa^+}(aa)\)- equivalent but nonisomorphic.
reviewed by: K.Gloede
Mathematics Subject Classification ID: 03C75
zbMATH DE Number: 3882414
zbMATH Keywords: stationary logic
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1305/ndjfl/1093870690
OpenAlex ID: W2090581211
DOI: 10.1305/NDJFL/1093870690
Recommended article: Infinitary Equilibrium Logic and Strong Equivalence
Recommended article: Stationary sets and infinitary logic
Recommended article: A note on infinitary continuous logic
Recommended article: A note on extensions of infinitary logic
Recommended article: Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
Recommended article: On equivalence of infinitary formulas under the stable model semantics
Recommended article: On asymptotic divergency in equivalential logics
Recommended article: A note on definability in equational logic
Recommended article: Almost Everywhere Equivalence of Logics in Finite Model Theory
Recommended article: Infinitary equilibrium logic and strongly equivalent logic programs
description: scientific article; zbMATH DE number 3882414