Works matching IS 10798986 AND DT 2023 AND VI 29 AND IP 2
Results: 13
BSL volume 29 issue 2 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 2, p. b1, doi. 10.1017/bsl.2023.21
- Publication type:
- Article
BSL volume 29 issue 2 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 2, p. f1, doi. 10.1017/bsl.2023.20
- Publication type:
- Article
NOTICES.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 2, p. 303, doi. 10.1017/bsl.2023.19
- Publication type:
- Article
COMPUTABLY COMPACT METRIC SPACES.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 2, p. 170, doi. 10.1017/bsl.2023.16
- By:
- Publication type:
- Article
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 2, p. 264, doi. 10.1017/bsl.2023.14
- By:
- Publication type:
- Article
Proof Complexity.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
Beyond Uncertainty: Reasoning with Unknown Possibilities.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
New methods in forcing iteration and applications.
- Published in:
- 2023
- By:
- Publication type:
- Abstract
SATURATED MODELS FOR THE WORKING MODEL THEORIST.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 2, p. 163, doi. 10.1017/bsl.2023.6
- By:
- Publication type:
- Article
INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES.
- Published in:
- Bulletin of Symbolic Logic, 2023, v. 29, n. 2, p. 157, doi. 10.1017/bsl.2023.4
- By:
- Publication type:
- Article
Around Exponential-Algebraic Closedness.
- Published in:
- 2023
- By:
- Publication type:
- Abstract
Forcing theory and combinatorics of the real line.
- Published in:
- 2023
- By:
- Publication type:
- Abstract
Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees.
- Published in:
- 2023
- By:
- Publication type:
- Abstract