An r-fold analogue of the positive semidefinite zero forcing process that is carried out on the r-blowup of a graph is introduced and used to define the fractional positive semidefinite forcing number. Properties of the graph blowup when colored with a fractional positive semidefinite forcing set are examined and used to define a three-color forcing game that directly computes the fractional po...

Lei, Yeh and Zhang put forward the anti-forcing number af(G,M) for a perfect matching M in graph G, which is minimum of edges G not whose deletion results subgraph with unique M. The numbers all matchings form spectrum G. polynomial Af(G,x) counting classifying possessing same In this paper, we deduce recurrence formula continuity catacondensed hexagonal systems.

The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a condition in the relevant generic filter. We show that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma ca...

In this paper we study the notion of forcing for Lukasiewicz predicate logic ( L∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for L∀, while for the latter, we study the generic and existentially complete standard models of L∀.