Premium
Normal Extensions of G.3
Author(s) -
Xu Ming
Publication year - 2002
Publication title -
theoria
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/j.1755-2567.2002.tb00127.x
Subject(s) - extension (predicate logic) , property (philosophy) , mathematics , pure mathematics , computer science , programming language , philosophy , epistemology
In this paper we use “generic submodels” to prove that each normal extension of G.3 (K4.3W) has the finite model property, by which we establish that each proper normal extension of G.3 is G.3Alt n for some n≥0.