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
Issue
Volume
58
, Issue
1-2
5
--
17
Kosta Dosen
,
Zoran Petric
.
Isomorphic formulae in classical propositional logic
18
--
28
Peter Cholak
,
David Galvin
,
Reed Solomon
.
Reverse mathematics and infinite traceable graphs
29
--
37
Katarzyna Slomczynska
.
Algebraic semantics for the (↔, ¬¬)-fragment of IPC
38
--
45
Pierre Matet
.
κ (λ) with λ of countable cofinality
46
--
54
Igor Dolinka
.
A characterization of retracts in certain Fraïssé limits
55
--
62
Olivier Esser
.
Forcing with the Anti-Foundation axiom
63
--
74
Alireza Mofidi
,
Seyed Mohammad Bagheri
.
Quantified universes and ultraproducts
75
--
82
Arthur W. Apter
.
Indestructibility, measurability, and degrees of supercompactness
83
--
94
Brent Cody
.
The failure of GCH at a degree of supercompactness
95
--
104
Barbara Majcher-Iwanow
.
Eventually open action
105
--
112
Aleksander Ivanov
.
The complexity of countable categoricity in finite languages
113
--
124
Ekaterina B. Fokina
,
Sy-David Friedman
.
1 equivalence relations over the natural numbers
125
--
126
Antongiulio Fornasiero
.
Definably connected nonconnected sets