Q3022775
type: Item
instance of: scholarly article
zbMATH Open document ID: 1065.03034
publication date: 2005-06-30T00:00:00Z
Mathematics Subject Classification ID: 03E40
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03-02
zbMATH DE Number: 2184445
zbMATH Keywords: Boolean-valued model
zbMATH Keywords: Heyting algebra
zbMATH Keywords: independence proofs
MaRDI profile type: Publication
Recommended article: Q3710519
Recommended article: Q3007387
Recommended article: Boolean-valued universe as an algebraic system. I: Basic principles
Recommended article: An elementary definability theorem for first order logic
Recommended article: Q3218115
Recommended article: Q3720577
Recommended article: Q4236342
Recommended article: A beginner's guide to forcing
Recommended article: Приглашение в булевозначный анализ
author: John L. Bell
description: scientific article