Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 27
Volume 27, Number 1, March 2021
- Jeroen P. Goudsmit
:
Decidability of admissibility: on a Problem by Friedman and its solution by Rybakov. 1-38 - João Rasga, Cristina Sernadas, Walter Carnielli:
Reduction Techniques for Proving Decidability in Logics and their Meet-Combination. 39-66 - William Chen-Mertens, Menachem Kojman, Juris Steprans:
Strong colorings over Partitions. 67-90
- Thilo Weinert:
William Chan, An introduction to combinatorics of determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, editors), Contemporary Mathematics, vol. 752, Providence, RI, American Mathematical Society, 2020, pp. 21-75. Bull. Symb. Log. 27(1): 91-93 (2021)
- 2020 Winter Meeting of the Association for Symbolic Logic. 94-97
- 2021 Winter Meeting of the Association for Symbolic Logic. 98-101
- 2021 Winter Meeting of the Association for Symbolic Logic. 102-106
- Notices. 107-112
Volume 27, Number 2, June 2021
- Yong Cheng:
Current Research on Gödel's Incompleteness theorems. 113-167 - Toshiyasu Arai, Stanley S. Wainer, Andreas Weiermann:
Goodstein sequences based on a Parametrized Ackermann-Péter function. 168-186 - Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill:
The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. 187-211
- Iian B. Smythe:
Reviews. 212-214
- María Inés Corbalán:
From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives. 215 - Bruno Costa Coscarelli:
Model Theory in a Paraconsistent Environment. 216 - Christian D'elbée:
Expansions and Neostability in Model Theory. 216-217 - Bruno Jacinto:
Necessitism, Contingentism, and Theory Equivalence. 217-218 - Yong Liu:
The Structure of d.r.e. Degrees. 218-219 - Patrick Lutz:
Results on Martin's Conjecture. 219-220 - Justin Miller:
Intrinsic density, asymptotic computability, and stochasticity. 220 - Cheng Peng:
On Transfinite Levels of the Ershov Hierarchy. 220-221 - Alejandro Poveda:
Contributions to the Theory of Large Cardinals through the Method of Forcing. 221-222 - Pierre Touchard:
Transfer Principles in Henselian Valued Fields. 222-223 - Tingxiang Zou:
Pseudofinite Structures and Counting Dimensions. 223
- Notices. 224-229
Volume 27, Number 3, September 2021
- Roman Kossak, Bartosz Wcislo:
Disjunctions with Stopping conditions. 231-253 - Grigor Sargsyan, Nam Trang:
Sealing of the Universally Baire Sets. 254-266 - Tim Lethen:
Kurt Gödel on Logical, theological, and Physical antinomies. 267-297
- 2021 North American Annual Meeting of the Association for Symbolic Logic. 298-330
- Notices. 331-335
Volume 27, Number 4, December 2021
- Paulo Guilherme Santos, Reinhard Kahle:
Variants of Kreisel's Conjecture on a New Notion of Provability. 337-350 - Günther Eder:
Projective duality and the Rise of Modern Logic. 351-384 - Juliette Kennedy, Jouko Väänänen:
Logicality and Model Classes. 385-414 - M. Malliaris, Saharon Shelah:
Notes on the stable Regularity Lemma. 415-425 - Lawrence C. Paulson:
Ackermann's function in iterative Form: a Proof Assistant Experiment. 426-435 - Tim Button:
Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets. 436-460 - Tim Button:
Level Theory, Part 2: Axiomatizing the Bare Idea of a potential Hierarchy. 461-484 - Michael Dummett:
Sense and Reference from a Constructivist Standpoint. 485-500 - Per Martin-Löf:
The Sense/Reference Distinction in Constructive Semantics. 501-513
- John Baldwin, David Marker:
IN MEMORIAM: MICHAEL MORLEY, 1930-2020. 514-518 - Katalin Bimbó:
IN MEMORIAM: J. MICHAEL DUNN, 1941-2021. 519-525
- Marco Abbadini:
On the Axiomatisability of the Dual of Compact Ordered Spaces. 526 - Jeffrey Bergfalk:
Dimensions of Ordinals: Set Theory, Homology Theory, and the First Omega Alephs. 526-527 - Luca Carai:
New Directions in Duality Theory for Modal Logic. 527 - Colin Jahel:
Some Progress on the Unique Ergodicity Problem. 527-528 - Liling Ko:
Towards Finding a Lattice that Characterizes the > ω2 -Fickle Recursively Enumerable Turing Degrees. 528 - Lothar Sebastian Krapp:
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields. 529-530 - Xue Li:
Automating the Repair of Faulty Logical Theories. 530 - Andrew Parisi:
Second-Order Modal Logic. 530-531 - Sewon Park:
Continuous Abstract Data Types for Verified Computation. 531
- Association for Symbolic Logic. 532-536
- Notices. 537-542
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-25 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
