4 results match your criteria Archive For Mathematical Logic[Journal]

  • Page 1 of 1

Cichoń's diagram and localisation cardinals.

Arch Math Log 2021 15;60(3-4):343-411. Epub 2020 Sep 15.

Institute of Discrete Mathematics and Geometry, TU Wien, Wiedner Hauptstraße 8-10/104, 1040 Wien, Austria.

We reimplement the creature forcing construction used by Fischer et al. (Arch Math Log 56(7-8):1045-1103, 2017. 10. Read More

View Article and Full-Text PDF
September 2020

24th Workshop on Logic, Language, Information and Computation-WoLLIC 2017.

Arch Math Log 2021 15;60(5):525-527. Epub 2021 Jun 15.

Centro de Informática-Univ Federal de Pernambuco (UFPE), Av. Jornalista Aníbal Fernandes, s/n Cidade Universitária, 50740-560 Recife, PE Brazil.

View Article and Full-Text PDF

A version of -Miller forcing.

Arch Math Log 2020 20;59(7):879-892. Epub 2020 Feb 20.

Institute of Mathematics, The Hebrew University of Jerusalem, Edmond Safra Campus Givat Ram, 9190401 Jerusalem, Israel.

We consider a version of -Miller forcing on an uncountable cardinal . We show that under this forcing collapses to and adds a -Cohen real. The same holds under the weaker assumptions that , , and forcing with collapses to . Read More

View Article and Full-Text PDF
February 2020

Classifying equivalence relations in the Ershov hierarchy.

Arch Math Log 2020 13;59(7):835-864. Epub 2020 Feb 13.

Kazan Federal University, 18 Kremlyovskaya str., Kazan, Russia 420008.

Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility . This gives rise to a rich degree structure. Read More

View Article and Full-Text PDF
February 2020
  • Page 1 of 1