EM constructions for a class of generalized quantifiers (Q1204118): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Hanf numbers for fragments of L\(_{\infty \omega}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new class of order types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Very strongly rigid Boolean algebras, continuum discrete set condition, countable antichain condition. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Chains in Ehrenfeucht Mostowski models / rank
 
Normal rank
Property / cites work
 
Property / cites work: On models with large automorphism groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Models of axiomatic theories admitting automorphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Die Automorphismenmengen der Modelle einerL Q x -Theorie / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hanf numbers and well-ordering numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: On defining well-orderings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compact extensions of L(Q) (part 1a) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4068696 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuity and elementary logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partitioning pairs of countable ordinals / rank
 
Normal rank

Revision as of 14:49, 17 May 2024

scientific article
Language Label Description Also known as
English
EM constructions for a class of generalized quantifiers
scientific article

    Statements

    EM constructions for a class of generalized quantifiers (English)
    0 references
    0 references
    1 March 1993
    0 references
    Ehrenfeucht-Mostowski functors
    0 references
    Lindström extensions of first-order logic
    0 references
    Skolemization
    0 references
    theories with arbitrarily large models
    0 references
    Magidor Malitz logic
    0 references
    Hanf number
    0 references

    Identifiers