Logic with the quantifier “there exist uncountably many”

Cited in

(98)

Logic, logics, and logicism
Foundations and philosophy of mathematics in Warsaw, the school of Andrzej Mostowski and philosophy
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
Ideal models and some not so ideal problems in the model theory of L(Q)
All Quantifiers Versus the Quantifier All
Topological model theory with an interior operator: Consistency properties and back — and forth arguments
New axiomatizations for logics with generalized quantifiers
Problemi di decidibilita in logica topologica
The role of the Omitting Types Theorem in infinitary logic
Covering an uncountable square by countably many continuous functions
Some New Probability Operators
Proofs of the compactness theorem
The foundational problem of logic
Cofinality quantifiers in abstract elementary classes and beyond
Models with second order properties in successors of singulars
AN EXPOSITION OF THE COMPACTNESS OF
Some model theory for monotone quantifiers
Computable categoricity for pseudo-exponential fields of _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
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 _1-categoricity imply -stability?
Existentially closed dimension groups
On two complete sets in the analytical and the arithmetical hierarchies
Ultraproduct Invariant Logics
A result of relative consistency about the predicate WO(δ, x)
Inverse topological systems and compactness in abstract model theory
Conservative extensions of models of set theory and generalizations
In conjunction with qualitative probability
Categoricity in $\aleph_1$ of sentences in $L_{\omega_1\omega}(Q)$
Dependence logic with generalized quantifiers: axiomatizations
Definability hierarchies of generalized quantifiers
Completeness and interpolation of almost-everywhere quantification over finitely additive measures
Generalized sketches as a framework for completeness theorems. I-III
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
Harmonious logic: Craig's interpolation theorem and its descendants
A note on geometric theories of fields
Generalized quantifiers and pebble games on finite structures
The number of non-isomorphic models of an unstable first-order theory
The strategic balance of games in logic
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
Local Hanf-Tarski numbers
Barwise: Abstract Model Theory and Generalized Quantifiers
Preserving non-null with Suslin^+ forcings
On simplicity of formulas
Weakly compact cardinals in models of set theory
On models with power-like orderings
The Craig interpolation theorem in abstract model theory
L_A(Ⅎ)
Omega-categoricity, relative categoricity and coordinatisation
Notes on Quasiminimality and Excellence
Can you take Solovay's inaccessible away?
On the expressibility hierarchy of Magidor-Malitz quantifiers
An axiomatization of the logic with the rough quantifier
Analytic colorings
Kueker's conjecture for stable theories
A cut elimination theorem for stationary logic
A coherent family of partial functions on ℕ
Model constructions in stationary logic. Part I. Forcing
Inferentialism and uniformity
On the existence of regular types
Leibnizian models of set theory
Construction schemes: transferring structures from to _1
Models with second order properties. III. Omitting types forL(Q)
On models with large automorphism groups
Categoricity of modular and Shimura curves
Generalized quantifiers and elementary extensions of countable models
On nonstandard models in higher order logic
The completeness theorem? So what!
Some contributions to definability theory for languages with generalized quantifiers
The compactness of Gödel logic
Fragments of Martin's axiom and $\Delta_ 3^ 1$ sets of reals
The abstract variable-binding calculus
On the general interpretation of first-order quantifiers
A standard model of Peano arithmetic with no conservative elementary extension
Generalizing classical and effective model theory in theories of operations and classes
On co-$\kappa$-Souslin relations
Generalized quantifiers and well orderings
On the definability of the quantifier there exist uncountably many
Algebraic analysis of the logic with the quantifier there exist uncountably many
Sequent calculi for `generally'
Destructibility and axiomatizability of Kaufmann models
A strong failure of $\aleph _0$-stability for atomic classes
Which quantifiers are logical? A combined semantical and inferential criterion
Generalized Quantifiers and Compact Logic
Life on the range: Quine's thesis and semantic indeterminacy
Completeness theorems for continuous functions and product topologies
UNIVERSAL CLASSES NEAR ${\aleph _1}$
Generalized quantifiers and natural language

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)