Works matching IS 10798986 AND DT 2024 AND VI 30 AND IP 2
Results: 15
BSL volume 30 issue 2 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. b1, doi. 10.1017/bsl.2024.51
- Publication type:
- Article
BSL volume 30 issue 2 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. f1, doi. 10.1017/bsl.2024.50
- Publication type:
- Article
WORKSHOP: FINITE MODEL THEORY AND MANY-VALUED LOGIC: CHALLENGES AND INTERACTIONS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia (online) November 10–12, 2022.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 292, doi. 10.1017/bsl.2024.38
- Publication type:
- Article
MODEL THEORY CONFERENCE IN CELEBRATION OF LUDOMIR NEWELSKI'S 60TH BIRTHDAY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bedlewo, Poland December 17–21, 2022.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 293, doi. 10.1017/bsl.2024.37
- Publication type:
- Article
PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7–12, 2022.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 290, doi. 10.1017/bsl.2024.36
- Publication type:
- Article
NOTICES.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 294, doi. 10.1017/bsl.2024.34
- Publication type:
- Article
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 288, doi. 10.1017/bsl.2024.25
- By:
- Publication type:
- Article
ITERATED PRIORITY ARGUMENTS IN DESCRIPTIVE SET THEORY.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 199, doi. 10.1017/bsl.2024.23
- By:
- Publication type:
- Article
ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 253, doi. 10.1017/bsl.2024.22
- By:
- Publication type:
- Article
Mathematics and Explanation.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 282, doi. 10.1017/bsl.2024.13
- By:
- Publication type:
- Article
Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 287, doi. 10.1017/bsl.2024.11
- By:
- Publication type:
- Article
From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory.
- Published in:
- 2024
- By:
- Publication type:
- Book Review
THE UNIVERSAL THEORY OF THE HYPERFINITE II $_1$ FACTOR IS NOT COMPUTABLE.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 181, doi. 10.1017/bsl.2024.7
- By:
- Publication type:
- Article
COMPACTNESS OF $\omega _1$ AND STRONG AXIOMS OF DETERMINACY.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 279, doi. 10.1017/bsl.2024.5
- By:
- Publication type:
- Article
CATEGORICAL QUANTIFICATION.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 2, p. 227, doi. 10.1017/bsl.2024.3
- By:
- Publication type:
- Article