Works matching IS 09335846 AND DT 2021 AND VI 60 AND IP 3/4

Results: 11

Sofic profiles of S(ω) and computability.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 477, doi. 10.1007/s00153-020-00757-0

By:

Ivanov, Aleksander

Publication type:

Article

Another method for constructing models of not approachability and not SCH.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 469, doi. 10.1007/s00153-020-00755-2

By:

Gitik, Moti

Publication type:

Article

The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 441, doi. 10.1007/s00153-020-00752-5

By:

Visser, Albert

Publication type:

Article

Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 495, doi. 10.1007/s00153-020-00751-6

By:

Fuchino, Sakaé;
Ottenbreit Maschio Rodrigues, André;
Sakai, Hiroshi

Publication type:

Article

Keisler's order via Boolean ultrapowers.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 425, doi. 10.1007/s00153-020-00750-7

By:

Parente, Francesco

Publication type:

Article

Quantum logic is undecidable.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 329, doi. 10.1007/s00153-020-00749-0

By:

Fritz, Tobias

Publication type:

Article

A fixed-point theorem for definably amenable groups.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 413, doi. 10.1007/s00153-020-00748-1

By:

Carmona, Juan Felipe;
Dávila, Kevin;
Onshuus, Alf;
Zamora, Rafael

Publication type:

Article

Small sets in Mann pairs.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 317, doi. 10.1007/s00153-020-00747-2

By:

Eleftheriou, Pantelis E.

Publication type:

Article

Cichoń's diagram and localisation cardinals.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 343, doi. 10.1007/s00153-020-00746-3

By:

Goldstern, Martin;
Klausner, Lukas Daniel

Publication type:

Article

Learning theory in the arithmetic hierarchy II.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 301, doi. 10.1007/s00153-020-00745-4

By:

Beros, Achilles A.;
Beros, Konstantinos A.;
Flores, Daniel;
Gaffar, Umar;
Webb, David J.;
Yoon, Soowhan

Publication type:

Article

Tree-like constructions in topology and modal logic.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 265, doi. 10.1007/s00153-020-00743-6

By:

Bezhanishvili, G.;
Bezhanishvili, N.;
Lucero-Bryan, J.;
van Mill, J.

Publication type:

Article