Let A[ω]ω be a maximal almost disjoint family and assume P is a forcing notion. Say A is P-indestructible if A is still maximal in any P-generic extension. We investigate P-indestructibility for several classical forcing notions P. In particular, we provide a combinatorial characterization of P-indestructibility and, assuming a fragment of MA, we construct maximal almost disjoint families which are P-indestructible yet Q-destructible for several pairs of forcing notions . We close with a detailed investigation of iterated Sacks indestructibility.
Gareth Evans proved that if two objects are indeterminately equal then they are different in reality. He insisted that this contradicts the assumption that there can be vague objects. However we show the consistency between Evans's proof and the existence of vague objects within classical logic. We formalize Evans's proof in a set theory without the axiom of extensionality, and we define a set to be vague if it violates extensionality with respect to some other set. There exist models of (...) set theory where the axiom of extensionality does not hold, so this shows that there can be vague objects. (shrink)
We show that Kubota and Levine’s characterization of the HPSG-based theory of non-constituent coordination proposed in Yatabe Proceedings of the 7th International Conference on Head-Driven Phrase Structure Grammar, CSLI, Stanford, pp 325–344, 2001) and later works is inaccurate, and that the theory in question does not require any ad hoc mechanisms to account for the long-known fact that right-node raising and left-node raising can affect semantic interpretation. In the course of demonstrating this, we fill in some details of this (...) HPSG-based theory that were left unspecified in the previous literature, and we also present novel accounts of split-antecedent relative clauses and of respectively interpretation that are consistent with the theory. Furthermore, we argue that the phenomenon of summative agreement may provide a reason to prefer this theory over CG-based theories like Kubota and Levine’s. (shrink)
We introduce the simpler and shorter proof of Hajek’s theorem that the mathematical induction on ω implies a contradiction in the set theory with the comprehension principle within Łukasiewicz predicate logic Ł ${\forall}$ (Hajek Arch Math Logic 44(6):763–782, 2005) by extending the proof in (Yatabe Arch Math Logic, accepted) so as to be effective in any linearly ordered MV-algebra.
In ${\mathbf{H}}$ , a set theory with the comprehension principle within Łukasiewicz infinite-valued predicate logic, we prove that a statement which can be interpreted as “there is an infinite descending sequence of initial segments of ω” is truth value 1 in any model of ${\mathbf{H}}$ , and we prove an analogy of Hájek’s theorem with a very simple procedure.
We show that the e-degree 0'e and the map u ↦ u' are definable in the upper semilattice of all e-degrees. The class of total e-degrees ≥0'e is also definable.
We prove a set-theoretic version of Hájek, Paris and Shepherdson's theorem [HPS00] as follows: The set ω of natural numbers must contain a non-standard natural number in any natural Tarskian semantics of CŁ0, the set theory with comprehension principle within Lukasiewicz's infinite-valued predicate logic. The key idea of the proof is a generalization of the derivation of Moh Shaw-Kwei's paradox, which is a Russell-like paradox for many-valued logic.
En raison de son statut de département japonais, la situation postcoloniale vécue par les habitants d'Okinawa reste peu visible de l'extérieur. TI n'en demeure pas moins que la double sujétion de l'île, au Japon et aux États-Unis, suscite depuis 1945 colère et indignation. Mais dans le cadre général de la seconde modernité japonaise, quelle peut être la portée pratique d'une pensée critique ? Cette interrogation servira de fil conducteur à notre texte qui se propose de suivre l'itinéraire d'une jeune chanteuse (...) qui, placée au croisement des mondes japonais et okinawais, tente de se frayer une voie qui mène vers des états de paix.Because of Okinawa's particular status as a Japanese constituency, the post-colonial situation experienced by its inhabitants has never been transparent to the outside world, although the island's dual dependency, on Japan and the United States, has been a source of anger and indignation ever since 1945. But in the more general context of Japan's second age of modernity, where does critical thinking lead in practice? This is the underlying thread of our narrative, in which we follow a young singer, caught between her Japanese and Okinawa backgrounds, as she tries to fight her way through to a state of peace. (shrink)
The main result of this paper is Theorem 3.1 which is a criterion for weak o-minimality of a linearly ordered structure in terms of realizations of 1-types. Here we also prove some other properties of weakly o-minimal structures. In particular, we characterize all weakly o-minimal linear orderings in the signature $\{ . Moreover, we present a criterion for density of isolated types of a weakly o-minimal theory. Lastly, at the end of the paper we present some remarks on the Exchange (...) Principle for algebraic closure in a weakly o-minimal structure. (shrink)
A law is one of the basic concepts of the dialectical materialist conception of determinism as a philosophical theory of the objective interrelationship and mutual conditioning of phenomena in the material and mental world. A law establishes a rigorously determined connection among circumstances, i.e., a totality of derivative components and conditions of their actions and results. By overlooking the existence of two different levels—the concept and the objective reality corresponding to it—some philosophers erroneously interpret Marx's theses concerning the approximateness of (...) the realization of the laws of society. Let us take, for example, Marx's thesis that "In general, in capitalist production general laws are realized in a very confused and approximate way, merely as a prevailing tendency, as a kind of average among constant fluctuations that is never solidly established."1 Some investigators see this as an objectively existing social law in itself, attributing to it an "inexactitude" of operation, variation, and approximation, instead of seeing it as a specific application of a particular law. They thus forget that Marx said, in the Foreword to the very first volume of Capital: "The question does not specifically have to do with a greater or lesser degree of development of the social antagonisms that derive from the natural laws of capitalist production, but rather lies in these laws themselves, these trends, which operate and are realized with iron necessity.". (shrink)
Pavement surveying and distress mapping is completed by roadway authorities to quantify the topical and structural damage levels for strategic preventative or rehabilitative action. The failure to time the preventative or rehabilitative action and control distress propagation can lead to severe structural and financial loss of the asset requiring complete reconstruction. Continuous and computer-aided surveying measures not only can eliminate human error when analyzing, identifying, defining, and mapping pavement surface distresses, but also can provide a database of road damage patterns (...) and their locations. The database can be used for timely road repairs to gain the maximum durability of the asphalt and the minimum cost of maintenance. This paper introduces an autonomous surveying scheme to collect, analyze, and map the image-based distress data in real time. A descriptive approach is considered for identifying cracks from collected images using a convolutional neural network that classifies several types of cracks. Typically, CNN-based schemes require a relatively large processing power to detect desired objects in images in real time. However, the portability objective of this work requires to utilize low-weight processing units. To that end, the CNN training was optimized by the Bayesian optimization algorithm to achieve the maximum accuracy and minimum processing time with minimum neural network layers. First, a database consisting of a diverse population of crack distress types such as longitudinal, transverse, and alligator cracks, photographed at multiple angles, was prepared. Then, the database was used to train a CNN whose hyperparameters were optimized using BOA. Finally, a heuristic algorithm is introduced to process the CNN’s output and produce the crack map. The performance of the classifier and mapping algorithm is examined against still images and videos captured by a drone from cracked pavement. In both instances, the proposed CNN was able to classify the cracks with 97% accuracy. The mapping algorithm is able to map a diverse population of surface cracks patterns in real time at the speed of 11.1 km per hour. (shrink)
