We give a general method of forcing over categories as a category-theoretic universal construction which subsumes, on one hand, all known instances of forcing in set theory, Boolean and Heyting valued models and sheaf interpretations for both classical and intuitionistic formal systems; and, on the other hand, constructions of classifying topoi in topos theory.

New mathematical elements were introduced: Dynamic operator, self-capacity, self-set, hierarchical dynamic structure, dynamic set, self-containment and mathematical apparatus for their use. All this was caused by the need to construct fundamentally new neural networks based on the principles of functioning of the central nervous system of living organisms. Our constructive approach to set theory differs from the construction of constructive sets by A.Mostowski: we construct completely different types of constructive sets. Here, the axiom of regularity (A8) is removed from the axioms of set theory, so we naturally obtain the possibility of using singularities in the form of self-sets, self-elements, which is exactly what we need for new mathematical models for describing complex processes. Our mathematics is unusual for a mathematician, because here the fulcrum is the action, and not the result of the action as in classical mathematics. Therefore, our mathematics is adapted not only to obtain results, but also to directly control actions, which will certainly show its benefits on a fundamentally new type of neural networks with directly parallel calculations, for which it was created. Any action has much greater potential than its result. Significance of the article: in a new qualitatively different approach to the study of complex processes through new mathematical hierarchical parallel dynamic structures, in particular those processes that are dealt with by Synergetics. Our approach is not based on deterministic equations that generate self-organization, which is very difficult to study and gives very small results for a very limited class of problems and does not provide the most important thing - the structure of self-organization. We are just starting from the assumed structure of self-organization, since we are interested not so much in the numerical calculation of this as in the structure of self-organization itself, its formation (construction) for the necessary purposes and its management. Although we are also interested in numerical calculations. Nobel laureates in physics 2023 Ferenc Kraus and his colleagues Pierre Agostini and Anna Lhuillier used a short-pulse laser to generate attosecond pulses of light to study the fuzzy dynamics of electrons in matter. According to our Theory of singularities of the type synthesizing, its action corresponds to singularity , which allows one to reach the upper level of subtle energies to manipulate lower levels. In April 2023, we proposed using a short-pulse laser to achieve the desired goals by a directly parallel neural network. We then proposed the fundamental development of this directly parallel neural network. The significance of our monograph is in the formation of the presumptive mathematical structure of subtle energies, this is being done for the first time in science, and the presumptive classification of the mathematical structures of subtle energies for the first time. The experiments of the 2022 Nobel laureates Asle Ahlen, John Clauser, Anton Zeilinger and the experiments in chemistry Nazhipa Valitov eloquently demonstrate that we are right and that these studies are necessary. Be that as it may, we created classes of new mathematical structures, new fuzzy mathematical singularities, i.e., made a contribution to the development of mathematics.

Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition.

The Axiom of Choice

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.