Stationary logic and its friends. I
type: Item
instance of: scholarly article
title: Stationary logic and its friends. I
zbMATH Open document ID: 0614.03032
author: S. Shelah
author: Alan H. Mekler
published in: Notre Dame Journal of Formal Logic
publication date: 1985-01-01T00:00:00Z
review text: This is the first of two papers that deal with L(aa) and related logics. Here we establish: every consistent \(L_{\omega_ 1\omega}(Q)\) sentence has an \b{F}-determinate model (\b{F} is a countable fragment of \(L_{\omega_ 1\omega}(aa))\); and it is consistent that L(Q) has the weak Beth property. A logic has the weak Beth property if it satisfies Beth's theorem where the hypothesis has been strengthened to require that implicit definitions guarantee existence as well as uniqueness.
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03C55
zbMATH DE Number: 3993558
zbMATH Keywords: forcing
zbMATH Keywords: L(aa)
zbMATH Keywords: weak Beth property
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093870821
OpenAlex ID: W4236573881
DOI: 10.1305/NDJFL/1093870821
description: scientific article; zbMATH DE number 3993558