Privés d’emploi, les chômeurs sont aussi privés des cadres temporels fournis par l’activité professionnelle. Partant de ce constat, nombre d’enquêtes ont associé la condition de chômeur à un temps excédentaire, gagné par l’ennui ou le découragement, et vide de sens. À rebours de cette perspective, nous avançons que l’expérience du chômage est marquée par un temps prescrit : celui de la recherche d’emploi. Nous sommes alors conduits à examiner l’hypothèse d’une pluralité des temporalités organisant la condition de chômeur. Pour cela (...) nous avons mené l’enquête auprès de chômeurs qui ne sont pas parvenus à satisfaire les obligations de recherche d’emploi et ont été sanctionnés. Nous montrons alors les tensions, jusqu’à la rupture, entre deux équations temporelles, l’une définie par l’imprévisibilité et le débordement du temps vécu de la vie quotidienne et l’autre caractérisée par la pression et la rationalisation du temps prescrit de la recherche d’emploi. (shrink)

Pris en charge par des organismes spécifiques, les chômeurs sont dans l’obligation de mener des échanges réguliers avec leurs conseillers. Ces interactions articulent trois temporalités distinctes : un rythme des rendez-vous, un horaire de début et une durée. À partir de l’observation d’entretiens entre des chômeurs et leurs conseillers dans plusieurs types d’organismes d’accompagnement, nous interrogeons le pouvoir discrétionnaire que possèdent les agents administratifs en matière de temporalités, ainsi que les marges de négociation détenues par les publics. Cette perspective présente (...) le rapport des chômeurs et des conseillers comme un processus d’ajustements ou de conflits temporels. Elle montre que les temporalités administratives du chômage sont inégalement contrôlées et disputées au niveau des guichets, avec des résultats différents d’une institution à l’autre. Le pouvoir discrétionnaire des conseillers est particulièrement élevé en matière de rythmes de convocation. En revanche, les chômeurs disposent de ressources singulières pour discuter les horaires en Arbeitsagentur ou pour contester les durées à Pôle emploi. Les chômeurs en régime d’assistance, au sein des Jobcenter, apparaissent singulièrement démunis dans ces luttes temporelles. (shrink)

Following A. V.Hill, those formulae are developed in a mathematical research which are of interest in the field of physiological diffusion processes in cylindrical objects.At first, an introduction into the problem is given. Then a development follows of the mathematical methods which are suitable for the integration of the partial differential equation of the diffusion.The special part contains the investigation of problems which are importance for the physiology of respiration. Thus the query is answered for the concentration of a substance (...) in dependance of time and place for the diffusion in tissue cylinders taking into consideration a constant rate of consumption, as well as the query of the temporal alteration of the average concentration. The cylinder fed from the outside and the one fed from a central capillary must hereby be specially treated according to the boundary conditions. The developed equations are explained by special examples and numerical lists. Further, the steady state of supply of tissue cylinders is investigated in case that apart from the radial also an axial diffusion component has to be counted with. The numerical results from the developed formulae are in good agreement with the values found by experiments.Suivant A. V.Hill on a développé dans une étude mathématique les formules qui se rapportent aux procédés de diffusion dans la physiologie.Pour l'introduction, on donne une explication des problèmes. Puis on fait suivre le développement mathématique qui permettent l'intégration de l'équation différentielle de la diffusion.Dans la partie spéciale, on étudie des problèmes concrets de la physiologie respiratoire. Pour la diffusion dans des cylindres cellulaires on a trouvé le résultat de la concentration d'une substance en dépendance du lieu et du temps où on a tenu compte à une consommation constante. De même, on a réussi a résoudre le problème du changement temporel de la concentration moyenne. Il est nécessaire de traiter en particulier le cylindre dans des conditions spéciales c'est-à-dire quand il est approvisionné du dehors et d'un tube capillaire et central . On a expliqué les équations différentielles par des cas spéciaux et par des tableaux numériques. Puis on a étudié la provisionnement stationnaire des cylindres cellulaires en cas que outre la composante de diffusion radiale, il faut tenir compte à une composante de diffusion axiale . Les résultats obtenus par les formules développées correspondent bien aux valeurs trouvées par les expériences. (shrink)

Il est plutôt rare qu’on rende compte dans une revue philosophique d’un manuel de physique théorique. Dans le cas du présent ouvrage, la chose n’est pas si incongrue puisque l’auteur, physicien québécois, n’est pas étranger aux questions philosophiques et s’est souvent mêlé des débats épistémologiques. En plus, son traité comporte plusieurs chapitres qui intéressent l’épistémologie de la physique tout en étant un manuel d’une envergure comparable aux classiques du genre en langue française, ceux de Cohen-Tannoudji, Messiah, Omnès ou Lévy-Leblond. On (...) y trouvera un exposé complet de l’appareil analytique de la mécanique quantique, des espaces de Hilbert de dimension finie à l’intégrale fonctionnelle de Feynman—avec quelques remarques sur la question délicate de la convergence, puisqu’on sait que l’intégrale de «chemins» n’a pas de justification mathématique «interne»—et au groupe de symétrie de l’hamiltonien pour la dynamique d’un système quantique dont l’évolution temporelle est décrite par l’équation de Schrödinger. Ces matières sont introduites avec force détails et le souci constant des applications, comme en témoigne le chapitre8 sur les solutions numériques et les méthodes d’approximation. Couvrant surtout la physique atomique et moléculaire sans aller jusqu’à la théorie des particules élémentaires et la théorie quantique des champs, l’ouvrage discute du problème de la mesure plus abondamment que le traité standard. C’est là d’ailleurs un des traits distinctifs de l’ouvrage et les chapitres6 sur l’interprétation de la mécanique quantique, 12sur l’opérateur densité et 21sur les corrélations à distance feront l’objet de mon analyse. (shrink)

À travers une enquête qualitative par entretiens menée auprès des sportifs de haut niveau de l’INSEP, nous nous intéressons à leur rythme de vie qui articule des temps nombreux et variés : temps sportif, temps scolaire ou universitaire, temps professionnel, temps de récupération, temps de loisir privé et social, etc. Dans ce contexte il apparaît que leur temps objectif et leur temps subjectif ne coïncident pas toujours. Nous identifions à la fois une capacité générale de ces sportifs à gérer une (...) organisation temporelle particulièrement chargée, mais aussi de profondes variations d’un profil de sportif à l’autre, d’où l’idée d’une construction sociale du temps subjectif. Après avoir présenté l’organisation objective des temps à l’INSEP, nous analysons le poids de plusieurs facteurs sportifs et extra-sportifs pour expliquer cette disjonction et comprendre quels éléments ont tendance à favoriser un meilleur vécu d’un emploi du temps objectivement chargé. Cela nous conduit à ouvrir la discussion sur la conception des différentes temporalités de la préparation des sportifs qui demeure floue, entre temps de travail et temps de loisir. Cette préparation s’inscrit elle-même dans un contexte institutionnel spécifique : la construction du rythme de vie de ces sportifs est alors la recherche d’un compromis entre temps collectif et temps individuel. (shrink)

Malgré l’ubiquité de la question des temporalités avant, pendant, et même après la guerre, très peu d’études ont systématisé la façon dont les visions temporelles structurent la décision d’un recours à la force armée et à la praxis de la guerre. Dans les grandes théories de la guerre, le temps est le plus souvent appréhendé de manière objectiviste, au singulier, supposant l’univocité universel..

L’exil des migrants de retour en Géorgie post-soviétique, en se doublant d’une rupture historique brutale et douloureuse avec le « temps d’avant », révèle la perception d’une autre forme d’exil, social et temporel. Cet exil temporel organise une perception du temps originale constituée de diverses ruptures qui sont mises en narration par les discours des migrants à travers la mobilisation de différents procédés narratifs destinés à restituer des parcours individuels heurtés au sein d’un temps socialement partageable. Ainsi, ces narrations laissent (...) apparaître la mise en scène du motif inaugural de la chute ainsi que le lien entre migration et peur de la fragmentation nationale. Elles révèlent également des polarités sociales que nous comprenons comme des perceptions temporelles différenciées. La dialectique rupture-continuité diffère donc selon la position sociale des enquêtés. Selon qu’on ait pu clore ou non les « années difficiles » post-soviétiques, elles sont considérées comme une transition achevée ou bien comme une crise perpétuelle en décalage avec la temporalité politique rapide du réformateur Mikhaïl Saakashvili.Ainsi, en se conjuguant aux rythmes précaires des mobilités, l’appréhension temporelle des migrants dont il est ici question se saisit au croisement de perspectives historiques et de celles des trajectoires migratoires et biographiques. (shrink)

L’objectif de cet article est de donner une interprétation dialogique de la logique temporelle standard. Dans ce cadre, nous utiliserons les langages hybrides dont Patrick Blackburn s’est servi pour caractériser la logique modale comme logique dialogique.

L’objectif de cet article est de donner une interprétation dialogique de la logique temporelle standard. Dans ce cadre, nous utiliserons les langages hybrides dont Patrick Blackburn s’est servi pour caractériser la logique modale comme logique dialogique.

Structural equations have become increasingly popular in recent years as tools for understanding causation. But standard structural equations approaches to causation face deep problems. The most philosophically interesting of these consists in their failure to incorporate a distinction between default states of an object or system, and deviations therefrom. Exploring this problem, and how to fix it, helps to illuminate the central role this distinction plays in our causal thinking.

This paper provides a philosophical analysis of the Price equation and its role in evolutionary theory. Traditional models in population genetics postulate simplifying assumptions in order to make the models mathematically tractable. On the contrary, the Price equation implies a very specific way of theorizing, starting with assumptions that we think are true and then deriving from them the mathematical rules of the system. I argue that the Price equation is a generalization-sketch, whose main purpose is to provide a unifying (...) framework for researchers, helping them to develop specific models. The Price equation plays this role because, like other scientific principles, shows features as abstractness, unification and invariance. By underwriting this special role for the Price equation some recent disputes about it could be diverted. (shrink)

Hall [(2007), Philosophical Studies, 132, 109–136] offers a critique of structural equations accounts of actual causation, and then offers a new theory of his own. In this paper, I respond to Hall’s critique, and present some counterexamples to his new theory. These counterexamples are then diagnosed.

Recent accounts of actual causation are stated in terms of extended causal models. These extended causal models contain two elements representing two seemingly distinct modalities. The first element are structural equations which represent the or mechanisms of the model, just as ordinary causal models do. The second element are ranking functions which represent normality or typicality. The aim of this paper is to show that these two modalities can be unified. I do so by formulating two constraints under which extended (...) causal models with their two modalities can be subsumed under so called which contain just one modality. These two constraints will be formally precise versions of Lewissystem of weights or priorities” governing overall similarity between possible worlds. (shrink)

We introduce and study (weakly) semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong honest definitions; demonstrate that certain trees are semi-equational, while algebraically closed valued fields are not weakly semi-equational; and obtain a general criterion for weak semi-equationality of an expansion of a distal structure by a new predicate.

Nous partageons, au sujet de la nature du temps, l’intuition fondamentale selon laquelle le futur est ouvert tandis que le passé est fermé. Par exemple, alors que nous pensons pouvoir influencer le cours du futur, nous savons qu’aucune de nos actions ne peut influencer le cours du passé. Cependant, bien que cette intuition soit largement partagée, identifier la nature de l’asymétrie qu’elle reflète n’est pas chose aisée. Dans cet article, j’explore différentes manières de caractériser l’asymétrie entre le ‘futur ouvert’ et (...) le ‘passé fermé’ dans le but de rendre justice à notre intuition. En particulier, je discute la question de savoir si cette asymétrie doit être caractérisée de façon sémantique, épistémique, métaphysique ou ontologique. Je conclus que, bien que plusieurs de ces caractérisations contribuent à une compréhension globale du phénomène, une caractérisation ontologique de l’asymétrie doit être préférée, car elle s’avère supérieure en termes de pouvoir explicatif, d’intelligibilité, ainsi que dans sa capacité à inclure différents sens que l’on peut prêter au concept d’ouverture. (shrink)

Sérendipité et temporalité. Voilà deux termes faits a priori pour s’entendre, mais dont l’association reste pourtant obscure au novice. Sérendipité en particulier, malgré un succès d’estime ces dernières années, n’est pas encore un terme très usité. Il évoque le hasard, bien sûr, mais aussi la sagacité, l’esprit de curiosité, l’agilité, la disponibilité mentale, bref tout ce qui permet de rester à l’affût du neuf et du surprenant. De quoi s’agit-il à l’origine et d’où provient ce terme étrang...

Sérendipité et temporalité. Voilà deux termes faits a priori pour s’entendre, mais dont l’association reste pourtant obscure au novice. Sérendipité en particulier, malgré un succès d’estime ces dernières années, n’est pas encore un terme très usité. Il évoque le hasard, bien sûr, mais aussi la sagacité, l’esprit de curiosité, l’agilité, la disponibilité mentale, bref tout ce qui permet de rester à l’affût du neuf et du surprenant. De quoi s’agit-il à l’origine et d’où provient ce terme étrang...

Sérendipité et temporalité. Voilà deux termes faits a priori pour s’entendre, mais dont l’association reste pourtant obscure au novice. Sérendipité en particulier, malgré un succès d’estime ces dernières années, n’est pas encore un terme très usité. Il évoque le hasard, bien sûr, mais aussi la sagacité, l’esprit de curiosité, l’agilité, la disponibilité mentale, bref tout ce qui permet de rester à l’affût du neuf et du surprenant. De quoi s’agit-il à l’origine et d’où provient ce terme étrang...

A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tabular or have some tautology. In particular, it is shown that a protoalgebraic logic admits an equational completeness theorem precisely when it has two distinct logically equivalent formulas. While the problem of determining whether a logic admits an equational completeness theorem is shown to (...) be decidable both for logics presented by a finite set of finite matrices and for locally tabular logics presented by a finite Hilbert calculus, it becomes undecidable for arbitrary logics presented by finite Hilbert calculi. (shrink)

Sérendipité et temporalité. Voilà deux termes faits a priori pour s’entendre, mais dont l’association reste pourtant obscure au novice. Sérendipité en particulier, malgré un succès d’estime ces dernières années, n’est pas encore un terme très usité. Il évoque le hasard, bien sûr, mais aussi la sagacité, l’esprit de curiosité, l’agilité, la disponibilité mentale, bref tout ce qui permet de rester à l’affût du neuf et du surprenant. De quoi s’agit-il à l’origine et d’où provient ce terme étrang...

Sérendipité et temporalité. Voilà deux termes faits a priori pour s’entendre, mais dont l’association reste pourtant obscure au novice. Sérendipité en particulier, malgré un succès d’estime ces dernières années, n’est pas encore un terme très usité. Il évoque le hasard, bien sûr, mais aussi la sagacité, l’esprit de curiosité, l’agilité, la disponibilité mentale, bref tout ce qui permet de rester à l’affût du neuf et du surprenant. De quoi s’agit-il à l’origine et d’où provient ce terme étrang...

Sérendipité et temporalité. Voilà deux termes faits a priori pour s’entendre, mais dont l’association reste pourtant obscure au novice. Sérendipité en particulier, malgré un succès d’estime ces dernières années, n’est pas encore un terme très usité. Il évoque le hasard, bien sûr, mais aussi la sagacité, l’esprit de curiosité, l’agilité, la disponibilité mentale, bref tout ce qui permet de rester à l’affût du neuf et du surprenant. De quoi s’agit-il à l’origine et d’où provient ce terme étrang...

Sérendipité et temporalité. Voilà deux termes faits a priori pour s’entendre, mais dont l’association reste pourtant obscure au novice. Sérendipité en particulier, malgré un succès d’estime ces dernières années, n’est pas encore un terme très usité. Il évoque le hasard, bien sûr, mais aussi la sagacité, l’esprit de curiosité, l’agilité, la disponibilité mentale, bref tout ce qui permet de rester à l’affût du neuf et du surprenant. De quoi s’agit-il à l’origine et d’où provient ce terme étrang...

We consider the Dirac equation in 3+1 dimensions with spherical symmetry and coupling to 1/r singular vector potential. An approximate analytic solution for all angular momenta is obtained. The approximation is made for the 1/r orbital term in the Dirac equation itself not for the traditional and more singular 1/r 2 term in the resulting second order differential equation. Consequently, the validity of the solution is for a wider energy spectrum. As examples, we consider the Hulthén and Eckart potentials.

Nous abordons, dans cet article, le fonctionnement discursif des adverbiaux de localisation spatiale dehors et au dehors. Notre objectif est de mettre en valeur leur rôle dans la structuration du discours. Nous proposons aussi un examen des propriétés combinatoires et des conditions d’emploi de ces deux expressions dans les séquences narratives.. Nous montrerons enfin que, dans certains contextes, la valeur spatiale liée à l’emploi de ces adverbiaux peut être dédoublée d’une valeur temporelle.

This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the ?extensions? of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, and much more. The equational approach has its conceptual roots in the nineteenth (...) century following the algebraic equational approach to logic by George Boole, Louis Couturat, and Ernst Schroeder. (shrink)

Cet article propose une réflexion sur les activités de recherche à partir de laboratoires industriels et académiques et d’organisations « intermédiaires » (laboratoires communs ; spin offs etc.). Les observations faites ponctuellement depuis une vingtaine d’années dans des laboratoires de chimie et de biologie montrent qu’elles sont l’objet d’une compétition accrue au niveau mondial entre différentes institutions et entre individus. La première hypothèse de l’article est que cette concurrence exacerbée entre entreprises, entre laboratoires académiques, entre scientifiques conduit à des stratégies (...) ayant pour objectifs une diminution des temps réservés par les prescripteurs (« les temps officiels ») pour chaque acte de recherche et à une rationalisation du travail scientifique dans le but d’accélérer la mise sur les marchés de produits, qu’ils soient académiques ou industriels, et ainsi d’en diminuer les coûts. Pour rendre compte de cette évolution, l’organisation des temps de travail en « opérations de recherche » est comparée à celle qui semble devenir prédominante aujourd’hui, la « logique-projet ». La seconde hypothèse est que ces nouvelles normes contraignantes influencent « la disponibilité temporelle » des travailleurs de la recherche et obligent de ce fait à s’interroger sur la place des chercheurs dans le salariat. (shrink)

This book is intended as a historical and critical study on the origin of the equations of motion as established in Newton's Principia. The central question that it aims to answer is whether it is indeed correct to ascribe to Galileo the inertia principle and the law of falling bodies. In order to accomplish this task, the study begins by considering theories on the motion of bodies from classical antiquity, and especially those of Aristotle. The theories developed during the Middle (...) Ages and the Renaissance are then reviewed, with careful analysis of the contributions of, for example, the Merton and Parisian Schools and Galileo's immediate predecessors, Tartaglia and Benedetti. Finally, Galileo's work is examined in detail, starting from the early writings. Excerpts from individual works are presented, to allow the texts to speak for themselves, and then commented upon. The book provides historical evidence both for Galileo's dependence on his forerunners and for the major breakthroughs that he achieved. It will satisfy the curiosity of all who wish to know when and why certain laws have been credited to Galileo. (shrink)

Cet article a déjà paru dans Espacetemps.net en avril 2013. Nous remercions Sandra Mallet de nous avoir autorisé à le republier ici. Résumé : Qu'apportent les politiques temporelles et les Bureaux des Temps dans les façons de penser l'urbanisme? Apparus en France à la fin des années 1990, l'originalité et l'intérêt de leur démarche repose sur leur volonté d'intégrer la pluralité des rythmes urbains dans l'aménagement des territoires. La prise en compte de cette pluralité s'exprime dans les actions sous - (...) Géographie – Nouvel article. (shrink)

Ce texte se veut une analyse critique de l'approche de Thomason quant à la logique déontique. Alors que l'auteur défend que celle-ci doit être formalisée dans le cadre des logiques temporelles, nous soutenons que la temporalité est implicite à l'obligation, et de fait que la logique déontique n'a pas a être traitée dans la cadre d'une logique temporelle. Nous présenterons d'abord la position de Thomason. Il sera question des exemples dont l'auteur se sert pour justifier son point de vue (...) philosophique et du modèle sémantique qu'il propose pour rendre compte de l'obligation. Il sera ensuite sujet d'une critique des exemples de l'auteur et de son modèle sémantique. (shrink)

We study the relative strength of the two axioms Every Pell equation has a nontrivial solution Exponentiation is total over weak fragments, and we show they are equivalent over IE1. We then define the graph of the exponential function using only existentially bounded quantifiers in the language of arithmetic expanded with the symbol #, where # = x[log2y]. We prove the recursion laws of exponentiation in the corresponding fragment.

We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R. These two operators comprise precisely the propositional part of DPL.This paper contains a finite equational (...) axiomatization for these dynamic relation algebras. The completenessresult uses techniques from modal logic. We also lookat the variety generated by the class of dynamic relation algebras and note that there exist nonrepresentable algebras in this variety, ones which cannot be construedas spaces of relations. These results are also proved for an extension to a signature containing atomic tests and union. (shrink)

Given a positive universal formula in the language of residuated lattices, we construct a recursive basis of equations for a variety, such that a subdirectly irreducible residuated lattice is in the variety exactly when it satisfies the positive universal formula. We use this correspondence to prove, among other things, that the join of two finitely based varieties of commutative residuated lattices is also finitely based. This implies that the intersection of two finitely axiomatized substructural logics over FL + is also (...) finitely axiomatized. Finally, we give examples of cases where the join of two varieties is their Cartesian product. (shrink)

To find exact traveling wave solutions to nonlinear evolution equations, we propose a method combining symmetry properties with trial polynomial solution to nonlinear ordinary differential equations. By the method, we obtain some exact traveling wave solutions to the Burgers-KdV equations and a kind of reaction-diffusion equations with high order nonlinear terms. As a result, we prove that the Burgers-KdV equation does not have the real solution in the form a 0+a 1tan ξ+a 2tan 2 ξ, which indicates that some types (...) of the solutions to the Burgers-KdV equation are very limited, that is, there exists no new solution to the Burgers-KdV equation if the degree of the corresponding polynomial increases. For the second equation, we obtain some new solutions. In particular, some interesting structures in those solutions maybe imply some physical meanings. Finally, we discuss some classifications of the reaction-diffusion equations which can be solved by trial equation method. (shrink)

This paper uses duality to elaborate Slutzky equations of risks in quasi-linear decision models extended by independent background risks. Wealth, substitution and total effects are characterized in terms of mean-variance preferences. It is shown that both Pratt and Zeckhauser’s proper risk aversion and Kimball’s standard risk aversion are sufficient for negative substitution effects.

In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, the (...) paper proves the results for a more general class than t-norm BL-chains, the so-called regular BL-chains. (shrink)

The history of the publication of the gravitational field equations of general relativity in November 1915 by Einstein and Hilbert is briefly reviewed. An analysis of the internal structure and logic of Hilbert's theory as expounded in extant proofs and in the published version of his relevant paper is given with respect to the specific question what information would have been found on a missing piece of Hilbert's proofs. The existing texts suggest that the missing piece contained the explicit form (...) of the Riemann curvature scalar in terms of the Ricci tensor as a specification of the axiomatically underdetermined Lagrangian in Hilbert's action integral. An alternative reading that the missing piece of the proofs already may have contained the Einstein tensor, i.e. an explicit calculation of the gravitational part of Hilbert's Lagrangian is argued to be highly implausible. (shrink)

This book provides a unique survey displaying the power of Riccati equations to describe reversible and irreversible processes in physics and, in particular, quantum physics. Quantum mechanics is supposedly linear, invariant under time-reversal, conserving energy and, in contrast to classical theories, essentially based on the use of complex quantities. However, on a macroscopic level, processes apparently obey nonlinear irreversible evolution equations and dissipate energy. The Riccati equation, a nonlinear equation that can be linearized, has the potential to link these two (...) worlds when applied to complex quantities. The nonlinearity can provide information about the phase-amplitude correlations of the complex quantities that cannot be obtained from the linearized form. As revealed in this wide ranging treatment, Riccati equations can also be found in many diverse fields of physics from Bose-Einstein-condensates to cosmology. The book will appeal to graduate students and theoretical physicists interested in a consistent mathematical description of physical laws. (shrink)

A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields and of the theory of separably closed fields of arbitrary imperfection degree.

Presented is a completeness theorem for fuzzy equational logic with truth values in a complete residuated lattice: Given a fuzzy set Σ of identities and an identity p≈q, the degree to which p≈q syntactically follows (is provable) from Σ equals the degree to which p≈q semantically follows from Σ. Pavelka style generalization of well-known Birkhoff's theorem is therefore established.

This paper concerns modal logics of provability — Gödel-Löb systemGL and Solovay logicS — the smallest and the greatest representation of arithmetical theories in propositional logic respectively. We prove that the decision problem for admissibility of rules (with or without parameters) inGL andS is decidable. Then we get a positive solution to Friedman''s problem forGL andS. We also show that A. V. Kuznetsov''s problem of the existence of finite basis for admissible rules forGL andS has a negative solution. Afterwards we (...) give an algorithm deciding the solvability of logical equations inGL andS and constructing some solutions. (shrink)