Showing 1–8 of 8 results for author: Habič, M E

More nonamalgamable forcing extensions

Authors: Miha E. Habič, Charles Weng, Cathy Zhang

Abstract: We extend the results of arXiv:1808.01509 on nonamalgamable forcing extensions to families of posets with wide projections. We also use a different coding method to obtain nonamalgamable extensions by filter-based Mathias forcing. We extend the results of arXiv:1808.01509 on nonamalgamable forcing extensions to families of posets with wide projections. We also use a different coding method to obtain nonamalgamable extensions by filter-based Mathias forcing. △ Less

Submitted 28 May, 2025; originally announced May 2025.

Comments: 17 pages

MSC Class: 03E40

Capturing sets of ordinals by normal ultrapowers

Authors: Miha E. Habič, Radek Honzík

Abstract: We investigate the extent to which ultrapowers by normal measures on $κ$ can be correct about powersets $\mathcal{P}(λ)$ for $λ>κ$. We consider two versions of this questions, the capturing property $\mathrm{CP}(κ,λ)$ and the local capturing property $\mathrm{LCP}(κ,λ)$. $\mathrm{CP}(κ,λ)$ holds if there is an ultrapower by a normal measure on $κ$ which correctly computes $\mathcal{P}(λ)$.… ▽ More We investigate the extent to which ultrapowers by normal measures on $κ$ can be correct about powersets $\mathcal{P}(λ)$ for $λ>κ$. We consider two versions of this questions, the capturing property $\mathrm{CP}(κ,λ)$ and the local capturing property $\mathrm{LCP}(κ,λ)$. $\mathrm{CP}(κ,λ)$ holds if there is an ultrapower by a normal measure on $κ$ which correctly computes $\mathcal{P}(λ)$. $\mathrm{LCP}(κ,λ)$ is a weakening of $\mathrm{CP}(κ,λ)$ which holds if every subset of $λ$ is contained in some ultrapower by a normal measure on $κ$. After examining the basic properties of these two notions, we identify the exact consistency strength of $\mathrm{LCP}(κ,κ^+)$. Building on results of Cummings, who determined the exact consistency strength of $\mathrm{CP}(κ,κ^+)$, and using a forcing due to Apter and Shelah, we show that $\mathrm{CP}(κ,λ)$ can hold at the least measurable cardinal. △ Less

Submitted 24 February, 2023; v1 submitted 27 February, 2019; originally announced February 2019.

Comments: 31 pages; corrected typos

MSC Class: 03E55; 03E35

Set-Theoretic Blockchains

Authors: Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner, Kameryn J. Williams

Abstract: Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build ge… ▽ More Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build generic objects with varying degrees of mutual genericity. The method accommodates certain infinite posets, and we can realize these embeddings via a wide variety of forcing notions, while providing control over lower bounds as well. We also give a generalization to class forcing in the context of second-order set theory, and exhibit some further structure in the generic multiverse, such as the existence of exact pairs. △ Less

Submitted 27 March, 2019; v1 submitted 4 August, 2018; originally announced August 2018.

Comments: 25 pages, 3 figures. Commentary concerning this paper can be made on the second author's blog at http://jdh.hamkins.org/set-theoretic-blockchains

MSC Class: 03E40 (Primary) 03E35 (Secondary)

Journal ref: Arch. Math. Logic 58 (7-8), 2019, 965-997

Joint diamonds and Laver diamonds

Authors: Miha E. Habič

Abstract: The concept of jointness for guessing principles, specifically $\diamondsuit_κ$ and various Laver diamonds, is introduced. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously guessed by the members of the family. While equivalent in the case of $\diamondsuit_κ$, joint Laver diamonds are nontrivial new objects. We give equiconsistency resul… ▽ More The concept of jointness for guessing principles, specifically $\diamondsuit_κ$ and various Laver diamonds, is introduced. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously guessed by the members of the family. While equivalent in the case of $\diamondsuit_κ$, joint Laver diamonds are nontrivial new objects. We give equiconsistency results for most of the large cardinals under consideration and prove sharp separations between joint Laver diamonds of different lengths in the case of $θ$-supercompact cardinals. △ Less

Submitted 7 June, 2019; v1 submitted 7 August, 2017; originally announced August 2017.

Comments: 34 pages; revised version with several improvements, including expanded Sections 3.3 and 4

MSC Class: 03E55; 03E35

Journal ref: J. symb. log. 84 (2019) 895-928

Joint Laver diamonds and grounded forcing axioms

Authors: Miha E. Habič

Abstract: I explore two separate topics: the concept of jointness for set-theoretic guessing principles, and the notion of grounded forcing axioms. A family of guessing sequences is said to be joint if all of its members can guess any given family of targets independently and simultaneously. I primarily investigate jointness in the case of various kinds of Laver diamonds. In the case of measurable cardinals… ▽ More I explore two separate topics: the concept of jointness for set-theoretic guessing principles, and the notion of grounded forcing axioms. A family of guessing sequences is said to be joint if all of its members can guess any given family of targets independently and simultaneously. I primarily investigate jointness in the case of various kinds of Laver diamonds. In the case of measurable cardinals I show that, while the assertions that there are joint families of Laver diamonds of a given length get strictly stronger with increasing length, they are all equiconsistent. This is contrasted with the case of partially strong cardinals, where we can derive additional consistency strength, and ordinary diamond sequences, where large joint families exist whenever even one diamond sequence does. Grounded forcing axioms modify the usual forcing axioms by restricting the posets considered to a suitable ground model. I focus on the grounded Martin's axiom which states that Martin's axioms holds for posets coming from some ccc ground model. I examine the new axiom's effects on the cardinal characteristics of the continuum and show that it is quite a bit more robust under mild forcing than Martin's axiom itself. △ Less

Submitted 11 May, 2017; originally announced May 2017.

Comments: This is my PhD dissertation

MSC Class: 03E55; 03E35; 03E05; 03E57

The grounded Martin's axiom

Authors: Miha E. Habič

Abstract: We introduce a variant of Martin's axiom, called the grounded Martin's axiom, which asserts that the universe is a ccc forcing extension in which Martin's axiom holds for posets in the ground model. This principle already implies several of the combinatorial consequences of Martin's axiom. The new axiom is shown to be consistent with the failure of Martin's axiom and a singular continuum. We prove… ▽ More We introduce a variant of Martin's axiom, called the grounded Martin's axiom, which asserts that the universe is a ccc forcing extension in which Martin's axiom holds for posets in the ground model. This principle already implies several of the combinatorial consequences of Martin's axiom. The new axiom is shown to be consistent with the failure of Martin's axiom and a singular continuum. We prove that the grounded Martin's axiom is preserved in a strong way when adding a Cohen real and that adding a random real to a model of Martin's axiom preserves the grounded version (even though it destroys Martin's axiom itself). We also consider the analogous variant of the proper forcing axiom. △ Less

Submitted 12 October, 2016; originally announced October 2016.

Comments: 22 pages

MSC Class: 03E50; 03E17; 03E57

Journal ref: Math. Log. Quart. (2017), 63: 437-453

A Mitchell-like order for Ramsey and Ramsey-like cardinals

Authors: Erin Carmody, Victoria Gitman, Miha E. Habič

Abstract: Smallish large cardinals $κ$ are often characterized by the existence of a collection of filters on $κ$, each of which is an ultrafilter on the subsets of $κ$ of some transitive $\mathrm{ZFC}^-$-model of size $ κ$. We introduce a Mitchell-like order for Ramsey and Ramsey-like cardinals, ordering such collections of small filters. We show that the Mitchell-like order and the resulting notion of ran… ▽ More Smallish large cardinals $κ$ are often characterized by the existence of a collection of filters on $κ$, each of which is an ultrafilter on the subsets of $κ$ of some transitive $\mathrm{ZFC}^-$-model of size $ κ$. We introduce a Mitchell-like order for Ramsey and Ramsey-like cardinals, ordering such collections of small filters. We show that the Mitchell-like order and the resulting notion of rank have all the desirable properties of the Mitchell order on normal measures on a measurable cardinal. The Mitchell-like order behaves robustly with respect to forcing constructions. We show that extensions with cover and approximation properties cannot increase the rank of a Ramsey or Ramsey-like cardinal. We use the results about extensions with cover and approximation properties together with recently developed techniques about soft killing of large-cardinal degrees by forcing to softly kill the ranks of Ramsey and Ramsey-like cardinals. △ Less

Submitted 24 September, 2016; originally announced September 2016.

Comments: 23 pages

MSC Class: 03E55

Journal ref: Fundamenta Mathematicae 248 (2020), 1-32

Cardinal-Recognizing Infinite Time Turing Machines

Authors: Miha E. Habič

Abstract: We introduce a model of infinitary computation which enhances the infinite time Turing machine model slightly but in a natural way by giving the machines the capability of detecting cardinal stages of computation. The computational strength with respect to ITTMs is determined to be precisely that of the strong halting problem and the nature of the new characteristic ordinals (clockable, writable,… ▽ More We introduce a model of infinitary computation which enhances the infinite time Turing machine model slightly but in a natural way by giving the machines the capability of detecting cardinal stages of computation. The computational strength with respect to ITTMs is determined to be precisely that of the strong halting problem and the nature of the new characteristic ordinals (clockable, writable, etc.) is explored. △ Less

Submitted 21 October, 2013; originally announced October 2013.

Comments: 10 pages, presented at 2013 Computability in Europe conference

MSC Class: 03D60

Journal ref: The Nature of Computation. Logic, Algorithms, Applications. 9th Conference on Computability in Europe, CiE 2013, Milan, Italy. pp 231-240