Pages that link to "Item:Q1799275"
From MaRDI portal
The following pages link to Lindenbaum and pair extension lemma in infinitary logics (Q1799275):
Displaying 5 items.
- On lovely pairs and the \((\exists y\in P)\) quantifier (Q817964) (← links)
- On the equivalence of the two existing extensions of the leximax criterion to the infinite case (Q2463575) (← links)
- Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\) (Q2744362) (← links)
- An extension of the formal deductive system \({\mathcal L}^*\) (Q2752635) (← links)
- Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals (Q6545572) (← links)