Skolem-type normal forms for first-order languages with a generalized quantifier

DOI10.4064/fm-54-3-291-302zbMath0166.26001OpenAlexW2062503307MaRDI QIDQ5551144

Gebhard Fuhrken

Publication date: 1964

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213764

zbMATH Keywords

algebraic logic, model theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (9)

Ganzgeschlossene und prädikatengeschlossene Logiken I ⋮ Cardinality of models for theories in a calculus with a Härtig quantifier ⋮ On models with large automorphism groups ⋮ On two complete sets in the analytical and the arithmetical hierarchies ⋮ A note on extensions of infinitary logic ⋮ A generalization of Ehrenfeucht's game and some applications ⋮ Interpolation in Logiken monotoner systeme ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures ⋮ First order properties of pairs of cardinals

This page was built for publication: Skolem-type normal forms for first-order languages with a generalized quantifier