Boolean-valued second-order logic

Daisuke Ikegami, Jouko Väänänen

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its validity is absolute under forcing, and its Hanf and Löwenheim numbers are smaller than those of full second-order logic.

Original languageEnglish
Pages (from-to)167-190
Number of pages24
JournalNotre Dame Journal of Formal Logic
Volume56
Issue number1
DOIs
Publication statusPublished - 2015 Jan 1
Externally publishedYes

Keywords

  • Boolean validity
  • Boolean-valued second-order logic
  • Full second-order logic
  • Ω-logic

ASJC Scopus subject areas

  • Logic

Cite this

Boolean-valued second-order logic. / Ikegami, Daisuke; Väänänen, Jouko.

In: Notre Dame Journal of Formal Logic, Vol. 56, No. 1, 01.01.2015, p. 167-190.

Research output: Contribution to journalArticle

Ikegami, Daisuke ; Väänänen, Jouko. / Boolean-valued second-order logic. In: Notre Dame Journal of Formal Logic. 2015 ; Vol. 56, No. 1. pp. 167-190.
@article{7449fd0d34f84dd0afb923f436a4facb,
title = "Boolean-valued second-order logic",
abstract = "In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its validity is absolute under forcing, and its Hanf and L{\"o}wenheim numbers are smaller than those of full second-order logic.",
keywords = "Boolean validity, Boolean-valued second-order logic, Full second-order logic, Ω-logic",
author = "Daisuke Ikegami and Jouko V{\"a}{\"a}n{\"a}nen",
year = "2015",
month = "1",
day = "1",
doi = "10.1215/00294527-2835065",
language = "English",
volume = "56",
pages = "167--190",
journal = "Notre Dame Journal of Formal Logic",
issn = "0029-4527",
publisher = "Duke University Press",
number = "1",

}

TY - JOUR

T1 - Boolean-valued second-order logic

AU - Ikegami, Daisuke

AU - Väänänen, Jouko

PY - 2015/1/1

Y1 - 2015/1/1

N2 - In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its validity is absolute under forcing, and its Hanf and Löwenheim numbers are smaller than those of full second-order logic.

AB - In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its validity is absolute under forcing, and its Hanf and Löwenheim numbers are smaller than those of full second-order logic.

KW - Boolean validity

KW - Boolean-valued second-order logic

KW - Full second-order logic

KW - Ω-logic

UR - http://www.scopus.com/inward/record.url?scp=84926627021&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84926627021&partnerID=8YFLogxK

U2 - 10.1215/00294527-2835065

DO - 10.1215/00294527-2835065

M3 - Article

AN - SCOPUS:84926627021

VL - 56

SP - 167

EP - 190

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

SN - 0029-4527

IS - 1

ER -