Logic with the quantifier “there exist uncountably many”
From MaRDI portal
Publication:5606563
DOI10.1016/S0003-4843(70)80005-5zbMath0206.27302MaRDI QIDQ5606563
Publication date: 1970
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Logic with extra quantifiers and operators (03C80) Models of arithmetic and set theory (03C62) Other infinitary logic (03C75)
Related Items
Algebraic analysis of the logic with the quantifier there exist uncountably many, Can you take Solovay's inaccessible away?, Some contributions to definability theory for languages with generalized quantifiers, Dependence logic with generalized quantifiers: axiomatizations, Models with second order properties. III. Omitting types forL(Q), The Interior Operator Logic and Product Topologies, Fragments of Martin's axiom and \(\Delta_ 3^ 1\) sets of reals, Weakly compact cardinals in models of set theory, On nonstandard models in higher order logic, Generalized quantifiers and pebble games on finite structures, Ultraproduct Invariant Logics, A cut elimination theorem for stationary logic, The foundational problem of logic, An axiomatization of the logic with the rough quantifier, The abstract variable-binding calculus, Leibnizian models of set theory, Completeness theorem for topological class models, On models with large automorphism groups, Inverse topological systems and compactness in abstract model theory, Analytic colorings, A note on geometric theories of fields, Generalized quantifiers and well orderings, CATEGORICITY OF MODULAR AND SHIMURA CURVES, On the existence of regular types, Omega-categoricity, relative categoricity and coordinatisation, Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy, All Quantifiers Versus the Quantifier All, A strong failure of \(\aleph _0\)-stability for atomic classes, Generalized quantification as substructural logic, On two complete sets in the analytical and the arithmetical hierarchies, Existentially closed dimension groups, Did Tarski commit “Tarski's fallacy”?, Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion, Life on the Range: Quine’s Thesis and Semantic Indeterminacy, Generalized sketches as a framework for completeness theorems. I-III, UNIVERSAL CLASSES NEAR ${\aleph _1}$, Models with second order properties in successors of singulars, Kueker's conjecture for stable theories, Downward transfer of satisfiability for sentences of L1,1, On the expressibility hierarchy of Magidor-Malitz quantifiers, ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS, Conservative extensions of models of set theory and generalizations, Logic, logics, and logicism, On co-\(\kappa\)-Souslin relations, Proofs of the Compactness Theorem, On models with power-like orderings, Some model theory for monotone quantifiers, Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\), Barwise: Abstract Model Theory and Generalized Quantifiers, Notes on Quasiminimality and Excellence, A new omitting types theorem for L(Q), Completeness theorems for continuous functions and product topologies, Preserving non-null with Suslin\(^+\) forcings, Ideal models and some not so ideal problems in the model theory of L(Q), A standard model of Peano arithmetic with no conservative elementary extension, A result of relative consistency about the predicate WO(δ, x), Problemi di decidibilita in logica topologica, New axiomatizations for logics with generalized quantifiers, Generalized quantifiers and elementary extensions of countable models, A coherent family of partial functions on ℕ, Harmonious logic: Craig's interpolation theorem and its descendants, The Craig interpolation theorem in abstract model theory, On simplicity of formulas, Models with second order properties. IV. A general method and eliminating diamonds, European Summer Meeting of the Association for Symbolic Logic, Paris, 1985, ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\), The number of non-isomorphic models of an unstable first-order theory, AN EXPOSITION OF THE COMPACTNESS OF, LA(Ⅎ), Definability hierarchies of generalized quantifiers, The role of the Omitting Types Theorem in infinitary logic, Generalized Quantifiers and Compact Logic, Beth's theorem in cardinality logics, Topological model theory with an interior operator: Consistency properties and back — and forth arguments, The theorems of beth and Craig in abstract model theory II. Compact logics, Generalized quantifiers and natural language, Covering an uncountable square by countably many continuous functions, In conjunction with qualitative probability, Destructibility and axiomatizability of Kaufmann models, On the Structure of Natural Deduction Derivations for “Generally”, Model constructions in stationary logic. Part I. Forcing, Completeness and interpolation of almost-everywhere quantification over finitely additive measures, Sequent Calculi for ‘Generally’, Summable gaps, Computable categoricity for pseudo-exponential fields of \(\aleph_1\), On compactness of logics that can express properties of symmetry or connectivity, Generalizing classical and effective model theory in theories of operations and classes, Some New Probability Operators, On the definability of the quantifier there exist uncountably many
