Pages that link to "Item:Q5606563"
From MaRDI portal
The following pages link to Logic with the quantifier “there exist uncountably many” (Q5606563):
Displaying 50 items.
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- On simplicity of formulas (Q757354) (← links)
- Models with second order properties. IV. A general method and eliminating diamonds (Q762058) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- Completeness theorem for topological class models (Q866886) (← links)
- On the existence of regular types (Q911582) (← links)
- Omega-categoricity, relative categoricity and coordinatisation (Q912842) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- On the definability of the quantifier ''there exist uncountably many'' (Q1073785) (← links)
- Algebraic analysis of the logic with the quantifier ''there exist uncountably many'' (Q1076011) (← links)
- Can you take Solovay's inaccessible away? (Q1078178) (← links)
- A cut elimination theorem for stationary logic (Q1095904) (← links)
- Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\) (Q1224580) (← links)
- Completeness theorems for continuous functions and product topologies (Q1232838) (← links)
- Problemi di decidibilita in logica topologica (Q1255489) (← links)
- New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
- In conjunction with qualitative probability (Q1295377) (← links)
- Fragments of Martin's axiom and \(\Delta_ 3^ 1\) sets of reals (Q1337354) (← links)
- Analytic colorings (Q1399100) (← links)
- A strong failure of \(\aleph _0\)-stability for atomic classes (Q1712931) (← links)
- ``Gap 1'' two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\) (Q1823234) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Summable gaps (Q1861325) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Destructibility and axiomatizability of Kaufmann models (Q2085581) (← links)
- On co-\(\kappa\)-Souslin relations (Q2266010) (← links)
- Computable categoricity for pseudo-exponential fields of \(\aleph_1\) (Q2349103) (← links)
- On compactness of logics that can express properties of symmetry or connectivity (Q2350211) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Preserving non-null with Suslin\(^+\) forcings (Q2505508) (← links)
- The number of non-isomorphic models of an unstable first-order theory (Q2548958) (← links)
- Beth's theorem in cardinality logics (Q2561208) (← links)
- Covering an uncountable square by countably many continuous functions (Q2846860) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)
- Sequent Calculi for ‘Generally’ (Q2866737) (← links)
- Conservative extensions of models of set theory and generalizations (Q3030803) (← links)
- Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion (Q3299517) (← links)
- Life on the Range: Quine’s Thesis and Semantic Indeterminacy (Q3299524) (← links)
- Downward transfer of satisfiability for sentences of <i>L</i><sup>1,1</sup> (Q3322083) (← links)
- On the expressibility hierarchy of Magidor-Malitz quantifiers (Q3322084) (← links)
- Proofs of the Compactness Theorem (Q3590048) (← links)
- Weakly compact cardinals in models of set theory (Q3712333) (← links)
- On nonstandard models in higher order logic (Q3714081) (← links)
- Inverse topological systems and compactness in abstract model theory (Q3767332) (← links)
- Models with second order properties in successors of singulars (Q3826532) (← links)
- Kueker's conjecture for stable theories (Q3829541) (← links)
- The Interior Operator Logic and Product Topologies (Q3861367) (← links)
