Q4180327 (Q4180327): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Omitting types of prenex formulas / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5626647 / rank | |||
Normal rank |
Latest revision as of 01:12, 13 June 2024
scientific article; zbMATH DE number 3616400
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 3616400 |
Statements
1978
0 references
Infinite Forcing
0 references
Model-Theoretic Forcing
0 references
Chang's Omitting Type Theorem
0 references