Works matching IS 09425616 AND DT 2022 AND VI 68 AND IP 1
Results: 14
Issue Information.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. NA, doi. 10.1002/malq.2022100002
- Publication type:
- Article
Cover Picture.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 1, doi. 10.1002/malq.2022100001
- Publication type:
- Article
Contents: (Math. Log. Quart. 1/2022).
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 3, doi. 10.1002/malq.202210000
- Publication type:
- Article
Strong Ambiguity.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 110, doi. 10.1002/malq.202100067
- Publication type:
- Article
Interpreting the weak monadic second order theory of the ordered rationals.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 74, doi. 10.1002/malq.202100047
- Publication type:
- Article
The algebraic significance of weak excluded middle laws.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 79, doi. 10.1002/malq.202100046
- By:
- Publication type:
- Article
A class of higher inductive types in Zermelo‐Fraenkel set theory.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 118, doi. 10.1002/malq.202100040
- Publication type:
- Article
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 67, doi. 10.1002/malq.202100034
- Publication type:
- Article
On the effective universality of mereological theories.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 48, doi. 10.1002/malq.202100016
- By:
- Publication type:
- Article
Sequential topologies and Dedekind finite sets.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 107, doi. 10.1002/malq.202100013
- Publication type:
- Article
When is a real generic over L?
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 27, doi. 10.1002/malq.202100012
- By:
- Publication type:
- Article
Weakly binary expansions of dense meet‐trees.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 32, doi. 10.1002/malq.202000045
- Publication type:
- Article
Cut‐conditions on sets of multiple‐alternative inferences.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 95, doi. 10.1002/malq.202000032
- Publication type:
- Article
Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c.
- Published in:
- Mathematical Logic Quarterly, 2022, v. 68, n. 1, p. 6, doi. 10.1002/malq.201900020
- Publication type:
- Article