P-points, MAD families and Cardinal Invariants.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
Works matching IS 10798986 AND DT 2022 AND VI 28 AND IP 2
Results: 17
1
2
Paraconsistent Logic Programming in Three and Four-Valued Logics.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
3
Uniform Properties of Ideals in Rings of Restricted Power Series.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
4
Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
5
BSL volume 28 issue 2 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. b1, doi. 10.1017/bsl.2022.21
- Publication type:
- Article
6
BSL volume 28 issue 2 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. f1, doi. 10.1017/bsl.2022.20
- Publication type:
- Article
7
NOTICES.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 319, doi. 10.1017/bsl.2022.19
- Publication type:
- Article
8
2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '21 Adam Mickiewicz University Poznań, Poland July 19–24, 2021.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 268, doi. 10.1017/bsl.2022.17
- Publication type:
- Article
9
A journey through computability, topology and analysis.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
10
Proof Mining with the Bounded Functional Interpretation.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
11
CONSTRUCTING WADGE CLASSES.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 207, doi. 10.1017/bsl.2022.7
- By:
- Publication type:
- Article
12
On Logics and Semantics for Interpretability.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
13
Semantics modulo satisfiability with applications: function representation, probabilities and game theory.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
14
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 163, doi. 10.1017/bsl.2021.66
- By:
- Publication type:
- Article
15
The Combinatorics and Absoluteness of Definable Sets of Real Numbers.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
16
Formal Theories of Occurrences and Substitutions.
- Published in:
- 2022
- By:
- Publication type:
- Abstract
17
ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC.
- Published in:
- Bulletin of Symbolic Logic, 2022, v. 28, n. 2, p. 182, doi. 10.1017/bsl.2021.48
- By:
- Publication type:
- Article