researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Math. Log. Q.
Home
Index
Info
Volume
Volume
62
, Issue
6
465
--
480
Mirjana Ilic
.
An alternative Gentzenisation of RW+∘
481
--
506
Charles M. Harris
,
Kyung-Il Lee
,
S. Barry Cooper
.
η-like computable linear orderings and Kierstead's conjecture
507
--
529
Stephen Flood
,
Henry Towsner
.
Separating principles below WKL0
530
--
546
Itay Kaplan
,
Saharon Shelah
.
Forcing a countable structure to belong to the ground model
547
--
551
Joseph Zielinski
.
An automorphism group of an ω-stable structure that is not locally (OB)
552
--
562
Norihiro Kamide
.
Paraconsistent double negation as a modal operator
563
--
574
Ahmet Çevik
.
choice classes
575
--
579
Maciej Malicki
.
Abelian pro-countable groups and non-Borel orbit equivalence relations
580
--
589
Samuel Coskey
,
Paul Ellis
.
The conjugacy problem for automorphism groups of countable homogeneous structures
590
--
595
Irakli O. Chitaia
.
1-reducibility
596
--
607
Jouke Witteveen
,
Leen Torenvliet
.
Fixed-parameter decidability: Extending parameterized complexity analysis
608
--
614
Emil Jerábek
.
Cluster expansion and the boxdot conjecture
Volume
62
, Issue
4-5
303
--
318
Olivier Finkel
.
Locally finite ω-languages and effective analytic sets have the same topological complexity
319
--
334
Andrés Villaveces
,
Pedro Zambrano
.
Limit models in metric abstract elementary classes: the categorical case
335
--
366
Jason Rute
.
Computable randomness and betting for computable probability spaces
367
--
382
Rami P. Grossberg
,
Monica VanDieren
,
Andrés Villaveces
.
Uniqueness of limit models in classes with amalgamation
383
--
390
Kyriakos Keremedis
.
Non-discrete metrics in and some notions of finiteness
391
--
406
Victoria Gitman
,
Joel David Hamkins
,
Thomas A. Johnstone
.
What is the theory without power set?
407
--
411
Janusz Pawlikowski
.
The diamond covering property axiom
412
--
419
Tin Perkov
,
Mladen Vukovic
.
Filtrations of generalized Veltman models
420
--
426
Marat Kh. Faizrahmanov
,
Iskander Sh. Kalimullin
.
n-families
427
--
433
David Nyiri
.
The Robinson property and amalgamations of higher arities
434
--
438
Saharon Shelah
,
Wolfgang Wohofsky
.
There are no very meager sets in the model in which both the Borel Conjecture and the dual Borel Conjecture are true
439
--
456
Yurii Khomskii
,
Giorgio Laguzzi
,
Benedikt Löwe
,
Ilya Sharankou
.
Questions on generalised Baire spaces
Volume
62
, Issue
3
140
--
154
Saharon Shelah
,
Moran Cohen
.
Stable theories and representation over sets
155
--
176
Paul E. Howard
,
Denis I. Saveliev
,
Eleftherios Tachtsis
.
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements
177
--
189
Norihiro Kamide
.
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
190
--
203
Eleftherios Tachtsis
.
On Martin's Axiom and Forms of Choice
204
--
214
Giulia Frosoni
.
Conuclear images of substructural logics
215
--
224
Nadja Hempel
.
n-dependent groups and fields
225
--
231
Arthur W. Apter
,
Ioanna M. Dimitriou
,
Peter Koepke
.
All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters
232
--
240
Antonio di Nola
,
Giacomo Lenzi
,
Gaetano Vitale
.
On free MV algebras and a problem of Tarski
241
--
248
Jafar S. Eivazloo
,
Somayyeh Tari
.
Pseudo definably connected definable sets
249
--
257
Paolo Lipparini
.
An infinite natural sum
258
--
277
Philip Scowcroft
.
A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable
278
--
294
Akihiro Kanamori
.
Mathias and set theory
Volume
62
, Issue
1-2
9
--
15
Miklós Ferenczi
.
On the definition and the representability of quasi-polyadic equality algebras
16
--
24
Alexander Berenstein
,
Hyeung-Joon Kim
.
2
25
--
34
Christian Pech
,
Maja Pech
.
Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures
35
--
45
Pablo Cubides Kovacsics
,
Françoise Delon
.
Definable types in algebraically closed valued fields
46
--
51
Peter Sinclair
.
Computable axiomatizability of elementary classes
52
--
58
Sy-David Friedman
,
Radek Honzik
.
On strong forms of reflection in set theory
59
--
71
Toshimichi Usuba
.
Subtlety and partition relations
72
--
76
Hajime Ishihara
,
Takako Nemoto
.
A note on the independence of premiss rule
77
--
87
Konstantinos Tsaprounis
.
Ultrahuge cardinals
88
--
93
Chloé Perin
,
Rizos Sklinos
.
On the (non) superstable part of the free group
94
--
101
Hajime Ishihara
,
Helmut Schwichtenberg
.
Embedding classical in minimal implicational logic
102
--
110
Emil Jerábek
.
A note on the substructural hierarchy
111
--
127
Serikzhan A. Badaev
,
Andrea Sorbi
.
Weakly precomplete computably enumerable equivalence relations
128
--
132
Arthur W. Apter
.
A note on tall cardinals and level by level equivalence