Logic with the quantifier “there exist uncountably many”

Cited In (92)

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

This page was built for publication: Logic with the quantifier “there exist uncountably many”

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5606563)