Skolem-type normal forms for first-order languages with a generalized quantifier
From MaRDI portal
Publication:5551144
DOI10.4064/fm-54-3-291-302zbMath0166.26001MaRDI QIDQ5551144
Publication date: 1964
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213764
03-XX: Mathematical logic and foundations
Related Items
Interpolation in Logiken monotoner systeme, First order properties of pairs of cardinals, Ganzgeschlossene und prädikatengeschlossene Logiken I, On models with large automorphism groups, Cardinality of models for theories in a calculus with a Härtig quantifier, A note on extensions of infinitary logic, A generalization of Ehrenfeucht's game and some applications, Completeness and interpolation of almost-everywhere quantification over finitely additive measures, On two complete sets in the analytical and the arithmetical hierarchies