NOTICES.
- Published in:
- 2018
- Publication type:
- Announcement
Works matching IS 10798986 AND DT 2018 AND VI 24 AND IP 4
Results: 41
1
2
BSL volume 24 issue 4 Cover and Front matter.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. f1, doi. 10.1017/bsl.2018.89
- Publication type:
- Article
3
BSL volume 24 issue 4 Cover and Back matter.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. b1, doi. 10.1017/bsl.2018.90
- Publication type:
- Article
4
ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 551, doi. 10.1017/bsl.2018.88
- Publication type:
- Article
5
Annals of Mathematics.
- Published in:
- 2018
- By:
- Publication type:
- Book Review
6
The Complexity of Countable Structures.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
7
Sobre a história da paraconsistência e a obra de da Costa: ainstauração da Lógica Paraconsistente [On the history of paraconsistency and da Costa's work: the establishment of paraconsistent logic]. (December, 2013). 535p + appendixes
- Published in:
- 2018
- By:
- Publication type:
- Abstract
8
Functions of the first Baire class.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
9
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 8–11, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 543, doi. 10.1017/bsl.2018.76
- Publication type:
- Article
10
A Descriptive View of the Bi-embeddability Relation.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
11
Type-two well-ordering principles, admissible sets, and $\Pi _1^1$ -comprehension.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
12
25TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bogotá, Colombia July 24–27, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 548, doi. 10.1017/bsl.2018.79
- Publication type:
- Article
13
13TH COMPUTABILITY IN EUROPE CONFERENCE (CIE 2017) UNVEILING DYNAMICS AND COMPLEXITY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Turku, Finland June 12–16, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 526, doi. 10.1017/bsl.2018.74
- Publication type:
- Article
14
WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 546, doi. 10.1017/bsl.2018.78
- Publication type:
- Article
15
Independence in Model Theory and Team Semantics.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
16
CIE 2018: SAILING ROUTES IN THE WORLD OF COMPUTATION CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Kiel, Germany July 31–August 3, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 550, doi. 10.1017/bsl.2018.75
- Publication type:
- Article
17
MODEL THEORY IN WROCŁAW 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland 30 June–2 July, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 529, doi. 10.1017/bsl.2018.67
- Publication type:
- Article
18
TABLEAUX 2017 / FROCOS 2017 / ITP 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brasilia, Brazil September 25–29, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 537, doi. 10.1017/bsl.2018.66
- Publication type:
- Article
19
THE TENTH SCANDINAVIAN LOGIC SYMPOSIUM (SLS 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden June 11–13, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 547, doi. 10.1017/bsl.2018.77
- Publication type:
- Article
20
OUROBOROS: WORKSHOP ON FORMAL CRITERIA OF SELF-REFERENCE IN MATHEMATICS AND PHILOSOPHY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bonn, Germany February 16–18, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 544, doi. 10.1017/bsl.2018.65
- Publication type:
- Article
21
29TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Toulouse, France July 17–28, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 532, doi. 10.1017/bsl.2018.64
- Publication type:
- Article
22
14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Daejeon, Republic of Korea July 24–27, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 535, doi. 10.1017/bsl.2018.63
- Publication type:
- Article
23
MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 536, doi. 10.1017/bsl.2018.62
- Publication type:
- Article
24
MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Będlewo, Poland July 2–8, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 530, doi. 10.1017/bsl.2018.61
- Publication type:
- Article
25
2018 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Western Illinois University, Macomb, IL, USA May 16–19, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 493, doi. 10.1017/bsl.2018.60
- Publication type:
- Article
26
2017–2018 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Diego Convention Center and Marriott Marquis San Diego Marina San Diego, CA January 12–13, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 484, doi. 10.1017/bsl.2018.56
- Publication type:
- Article
27
TRIMESTER ON MODEL THEORY, COMBINATORICS, AND VALUED FIELDS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Institut Henri Poincaré Paris, France January 8–April 6, 2018.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 539, doi. 10.1017/bsl.2018.55
- Publication type:
- Article
28
VIII CONFERENCE AND III SCHOOL ON TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL), 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Prague and Olomouc, Czech Republic June 20–30, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 527, doi. 10.1017/bsl.2018.54
- Publication type:
- Article
29
HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 23–29, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 534, doi. 10.1017/bsl.2018.53
- Publication type:
- Article
30
FIFTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC National Institute for Mathematical Sciences Daejeon, South Korea July 10–14, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 467, doi. 10.1017/bsl.2018.52
- Publication type:
- Article
31
Metric Geometry in a Tame Setting.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
32
Extensions and Smooth Approximations of Definable Functions in O-minimal Structures.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
33
Model Theory Methods for Topological Groups.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
34
Advances in Classification Theory for Abstract Elementary Classes.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
35
Computations of Vapnik–Chervonenkis Density in Various Model-Theoretic Structures.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
36
Foundations of Higher-Order Forcing.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
37
On the Strength of PFA(ℵ<sub>2</sub>) in Conjunction with a Precipitous Ideal on ɷ<sub>1</sub> and Namba-Like Forcings on Successors of Regular Cardinals.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
38
Coding into Inner Models at the Level of Strong Cardinals.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
39
Compact Structures in Descriptive Classification Theory.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
40
Finite Generators for Countable Group Actions; Finite Index Pairs of Equivalence Relations; Complexity Measures for Recursive Programs.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
41
CANTORIAN SET THEORY.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 4, p. 393, doi. 10.1017/bsl.2018.10
- By:
- Publication type:
- Article