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
60
, Issue
6
375
--
388
Marta Sagastume
,
Hernán Javier San Martín
.
•
389
--
402
Jeffrey Scott Leaning
,
Omer Ben-Neria
.
Disassociated indiscernibles
403
--
424
Camilo Enrique Argoty Pulido
.
Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator
425
--
436
Hanamantagouda P. Sankappanavar
,
Júlia Vaz de Carvalho
.
Congruence properties of pseudocomplemented De Morgan algebras
437
--
443
John T. Baldwin
,
Saharon Shelah
.
A Hanf number for saturation and omission: the superstable case
444
--
470
Rutger Kuyper
.
Computational aspects of satisfiability in probability logic
471
--
486
Arthur W. Apter
,
Ioanna M. Dimitriou
,
Peter Koepke
.
The first measurable cardinal can be the first uncountable regular cardinal at any successor height
487
--
497
Florian Ranzi
,
Thomas Strahm
.
A note on the theory SID<ω of stratified induction
Volume
60
, Issue
4-5
246
--
265
Pierre Matet
.
Two-cardinal diamond star
266
--
272
Toshimichi Usuba
.
Bounded dagger principles
273
--
279
Longyun Ding
.
0-like equivalence relations
280
--
288
Kojiro Higuchi
,
NingNing Peng
.
Defining a randomness notion via another
289
--
303
Alexander Berenstein
,
Evgueni Vassiliev
.
Generic trivializations of geometric theories
304
--
313
Zofia Kostrzycka
.
On linear Brouwerian logics
314
--
318
Kentaro Sato
.
Forcing for hat inductive definitions in arithmetic
319
--
334
Michal Kozak
.
Strong negation in intuitionistic style sequent systems for residuated lattices
335
--
347
Olivia Caramello
.
Topologies for intermediate logics
348
--
353
Takashi Sato
.
Reverse mathematics and Isbell's zig-zag theorem
354
--
371
Stéphane Le Roux
.
From winning strategy to Nash equilibrium
Volume
60
, Issue
3
136
--
153
Makoto Fujiwara
,
Kojiro Higuchi
,
Takayuki Kihara
.
On the strength of marriage theorems and uniformity
154
--
160
Miguel Campercholi
,
Diego Vaggione
.
Algebraic functions in quasiprimal algebras
161
--
167
Kuanysh Abeshev
.
On the existence of universal numberings for finite families of d.c.e. sets
168
--
176
Seyed Mohammad Bagheri
,
Roghieh Safari
.
Preservation theorems in linear continuous logic
177
--
183
Alexander P. Kreuzer
.
From Bolzano-Weierstraß to Arzelà-Ascoli
184
--
204
Kenshi Miyabe
.
Algorithmic randomness over general spaces
205
--
210
Janak Ramakrishnan
,
Charles Steinhorn
.
Definably extending partial orders in totally ordered structures
211
--
227
Andrés Villaveces
,
Pedro Zambrano
.
Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
228
--
229
M. Randall Holmes
.
On hereditarily small sets in ZF
230
--
238
Joan Gispert
,
Antoni Torrens
.
Lattice BCK logics with Modus Ponens as unique rule
239
--
241
Philipp Kleppmann
.
Generating sets of free groups and the axiom of choice
Volume
60
, Issue
1-2
6
--
11
Mohammad Ardeshir
,
S. Mojtaba Mojtahedi
.
Completeness of intermediate logics with doubly negated axioms
12
--
20
James H. Schmerl
.
Cofinal elementary extensions
21
--
30
Albert Ziegler
.
A cumulative hierarchy of sets for constructive set theory
31
--
39
Michael Hrusák
,
Diego Rojas-Rebolledo
,
Jindrich Zapletal
.
Cofinalities of Borel ideals
40
--
53
Oleg V. Belegradek
.
The space of minimal structures
54
--
58
Athanasios Tsarpalias
.
Matrices of completely Ramsey sets with infinitely many rows
59
--
65
Vincent Guingona
,
Cameron Donnay Hill
.
On Vapnik-Chervonenkis density over indiscernible sequences
66
--
69
Erik Palmgren
.
Formal continuity implies uniform continuity near compact images on metric spaces
70
--
83
Costas Poulios
,
Athanasios Tsarpalias
.
Some combinatorial principles for trees and applications to tree families in Banach spaces
84
--
90
Stevo Todorcevic
,
Víctor Torres Pérez
.
Rado's Conjecture and Ascent Paths of Square Sequences
91
--
0
Josep Maria Font
.
J. M. Font, The simplest protoalgebraic logic
92
--
117
Albert Visser
.
Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
118
--
132
Raphaël Carroy
.
Playing in the first Baire class