ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 532, doi. 10.1017/bsl.2022.4
- Publication type:
- Article
Works matching IS 10798986 AND DT 2021 AND VI 27 AND IP 4
Results: 24
1
2
NOTES ON THE STABLE REGULARITY LEMMA.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 415, doi. 10.1017/bsl.2021.69
- By:
- Publication type:
- Article
3
BSL volume 27 issue 4 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. b1, doi. 10.1017/bsl.2022.6
- Publication type:
- Article
4
BSL volume 27 issue 4 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. f1, doi. 10.1017/bsl.2022.5
- Publication type:
- Article
5
NOTICES.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 537, doi. 10.1017/bsl.2022.1
- Publication type:
- Article
6
VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 337, doi. 10.1017/bsl.2021.68
- By:
- Publication type:
- Article
7
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021.
- Published in:
- 2021
- By:
- Publication type:
- Obituary
8
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
9
Some Progress on the Unique Ergodicity Problem.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
10
THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 501, doi. 10.1017/bsl.2021.61
- By:
- Publication type:
- Article
11
SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 485, doi. 10.1017/bsl.2021.60
- By:
- Publication type:
- Article
12
IN MEMORIAM: MICHAEL MORLEY, 1930–2020.
- Published in:
- 2021
- By:
- Publication type:
- Obituary
13
Towards Finding a Lattice that Characterizes the ${>}\ \omega ^2$ -Fickle Recursively Enumerable Turing Degrees.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
14
On the Axiomatisability of the Dual of Compact Ordered Spaces.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
15
New Directions in Duality Theory for Modal Logic.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
16
Continuous Abstract Data Types for Verified Computation.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
17
ACKERMANN'S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 426, doi. 10.1017/bsl.2021.47
- By:
- Publication type:
- Article
18
Automating the Repair of Faulty Logical Theories.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
19
LOGICALITY AND MODEL CLASSES.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 385, doi. 10.1017/bsl.2021.42
- By:
- Publication type:
- Article
20
PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
21
Dimensions of Ordinals: Set Theory, Homology Theory, and the First Omega Alephs.
- Published in:
- 2021
- By:
- Publication type:
- Abstract
22
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 461, doi. 10.1017/bsl.2021.14
- By:
- Publication type:
- Article
23
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 436, doi. 10.1017/bsl.2021.13
- By:
- Publication type:
- Article
24
Second-Order Modal Logic.
- Published in:
- 2021
- By:
- Publication type:
- Abstract