Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 51; Issue 6

Mathematical Logic Quarterly

Volume 51; Issue 6
1

Categorical abstract algebraic logic: Gentzen π -institutions and the deduction-detachment property

George Voutsadakis
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 134 KB
english, 2005
2

On a logic of involutive quantales

Norihiro Kamide
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 112 KB
english, 2005
3

A consistency result on cardinal sequences of scattered Boolean spaces

Juan C. Martínez
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 119 KB
english, 2005
4

Mutual definability does not imply definitional equivalence, a simple example

Hajnal Andréka, Judit X. Madarász, István Németi
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 129 KB
english, 2005
5

Properties of the real line and weak forms of the Axiom of Choice

Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis, Eleftherios Tachtsis
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 192 KB
english, 2005
6

Weakly minimal modules over integral group rings and over related classes of rings

Stefano Leonesi, Sonia L'Innocente, Carlo Toffalori
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 204 KB
english, 2005
7

Normal derivability in modal logic

Jan von Plato
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 89 KB
english, 2005
8

Corrigendum to “Variation on a theme of Schütte”

Gerhard Jäger, Dieter Probst
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 36 KB
english, 2005
9

Corrigendum to “Regressive isols and comparability”

Joseph Barback
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 29 KB
english, 2005
10

Corrigendum to “Categorical abstract algebraic logic: The criterion for deductive equivalence”

George Voutsadakis
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 32 KB
english, 2005
11

Computability of measurable sets via effective metrics

Yongcheng Wu, Decheng Ding
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 199 KB
english, 2005
12

Destructibility of stationary subsets of Pκλ

Sakaé Fuchino, Greg Piper
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 166 KB
english, 2005
13

A remark on uniform spaces with invariant nonstandard hulls

Nader Vakil, Roozbeh Vakil
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 94 KB
english, 2005
14

|T |+-resplendent models and the Lascar group

Enrique Casanovas, Rodrigo Peláez
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 127 KB
english, 2005
15

A remark on divisibility of definable groups

Mário J. Edmundo
Журнал:
Mathematical Logic Quarterly
Рік:
2005
Мова:
english
Файл:
PDF, 89 KB
english, 2005