Normal Extensions of G.3
Bibliographic Data
| ID | 20143319 |
|---|---|
| Authors | Ming Xu (0000-0003-2151-2980, Cycorp (United States), corresponding author) |
| Year | 2002 |
| Volume | 68 |
| Issue | 2 |
| Pages | 170-176 |
| Publication date | 2002-08-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/j.1755-2567.2002.tb00127.x |
| OpenAlex | W2026532728 |
| Language | EN |
| References cited | 7 |
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
Epistemology · Extension (predicate logic) · Programming language · Property (philosophy) · Pure mathematics · Advanced Algebra and Logic · Computer Science · Homotopy and Cohomology in Algebraic Topology · Logic, Reasoning, and Knowledge · Mathematics · Philosophy
| Highly cited | No |
|---|