Results for 'Yu V. Sachkov'

1000+ found
Order:
  1.  7
    Scientific Method and Creativity in Science.Yu V. Sachkov - 1988 - Philosophie Et Culture: Actes du XVIIe Congrès Mondial de Philosophie 3:147-151.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Local Organising Committee.D. P. Gorsky, Yu L. Ershov, V. I. Kuptsov, V. A. Lektorsky, S. T. Melyukhin, Yu V. Sachkov, V. S. Stepin, I. S. Melyukhin, S. A. Nikolsky & S. I. Adyan - 1988 - Synthese 76:453-473.
     
    Export citation  
     
    Bookmark  
  3. Old Believer Monasteries of Right-Bank Ukraine in the First Half of the Nineteenth Century.Yu V. Voloshyn - 2000 - Ukrainian Religious Studies 14:44-53.
    One of the least investigated, which now exists in Ukraine is the Old Believers. Despite the fact that their communities have been operating in our territory for more than two centuries, researchers have long devised this topic with their attention. The main reason for this attitude to the study of the Old Believers should be considered political realities of the XX century, and they are known to have not contributed to the objective study of even traditional Ukrainian denominations. Therefore, right (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  4
    Extremely Premature Infants: To Treat or Not to Treat?V. Yu - 1984 - Bioethics News 3 (4):6-12.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  7
    Review: Yu. V. Matijasevic, Diophantine Representation of Recursively Enumerable Predicates. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):606-607.
  6.  2
    Review: Yu. V. Matiyasevich, A. O. Slisenko, The Connection Between Hilbert's Tenth Problem and Systems of Equations Between Words and Lengths. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-604.
  7.  4
    Review: Yu. V. Matiyasevich, A. O. Slisenko, Two Reductions of Hilbert's Tenth Problem. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-605.
  8.  1
    Review: Yu. V. Matiyasevich, A. O. Slisenko, Arithmetic Representations of Powers. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):605-605.
  9.  3
    Review: Yu. V. Matijasevic, J. E. Fenstad, Diophantine Representation of Recursively Enumerable Predicates. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):606-606.
  10.  7
    Review: Yu. V. Matiyasevich, Desyataya Problema Gil'berta; Christos H. Papadimitriou, Computational Complexity. [REVIEW]Neil Immerman - 1997 - Journal of Symbolic Logic 62 (2):677-678.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    Yu. V. Matiyasevich. Desyataya Problema Gil'berta. Russian Original of the Preceding. Matematicheskaya Logika I Osnovaniya Matematiki. VO “Nauka,” Moscow1993, 223 Pp. - Christos H. Papadimitriou. Computational Complexity. Addison-Wesley Publishing Company, Reading, Mass., Etc., 1994, Xv + 523 Pp. [REVIEW]Neil Immerman - 1997 - Journal of Symbolic Logic 62 (2):677-678.
  12.  13
    Novel Principles and the Charge-Symmetric Design of Dirac’s Quantum Mechanics: I. Enhanced Eriksen’s Theorem and the Universal Charge-Index Formalism for Dirac’s Equation in External Static Fields.Yu V. Kononets - 2016 - Foundations of Physics 46 (12):1598-1633.
    The presented enhanced version of Eriksen’s theorem defines an universal transform of the Foldy–Wouthuysen type and in any external static electromagnetic field reveals a discrete symmetry of Dirac’s equation, responsible for existence of a highly influential conserved quantum number—the charge index distinguishing two branches of DE spectrum. It launches the charge-index formalism obeying the charge-index conservation law. Via its unique ability to manipulate each spectrum branch independently, the CIF creates a perfect charge-symmetric architecture of Dirac’s quantum mechanics, which resolves all (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  1
    “The Mandarins”: Simone de Beauvoir’s Artistic Method.Yu V. Korelskaya - 2018 - Russian Journal of Philosophical Sciences 9:96-109.
    Simone de Beauvoir is a representative of one of the leading philosophical schools in the middle of the 20th century. The article presents Beauvoir’s artistic method, applied in her novel The Mandarins, and examines the theoretical and biographical sources of the novel. The author demonstrates the place that the novel has in the Beauvoir’s literary and philosophical heritage and reveals the genre features of the work, introducing some special terms such as engaged, modern or philosophical novel and testimonial autobiographical project. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  17
    The Evolution of the Style of Thought in Science.Iu V. Sachkov - 1968 - Russian Studies in Philosophy 7 (3):30-40.
    One of the primary propositions in Marxist philosophy is that thought is historical in nature. "The theoretical thought of each epoch," observed Engels, "is a historical product which takes on very different forms at different times, and also very different content" . Accordingly, any analysis of the nature of thought in general that does not consider its historical character is either incomplete or may result in false conclusions. Naturally, what we are talking about is substantive thought, i.e., thought that proceeds (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  2
    Quantifier Pronominal Adverbs in Children’s Speech.S. V. Krasnoshchekova & Yu V. Kakhovskaya - 2019 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitarnyj Zhurnalrossiiskii Gumanitarnyi Zhurnal 8 (5):324.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  7
    A Smart Child of Peano's.V. Yu Shavrukov - 1994 - Notre Dame Journal of Formal Logic 35 (2):161-185.
  17. Undecidability in Diagonalizable Algebras.V. Yu Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
    If a formal theory T is able to reason about its own syntax, then the diagonalizable algebra of T is defined as its Lindenbaum sentence algebra endowed with a unary operator □ which sends a sentence φ to the sentence □φ asserting the provability of φ in T. We prove that the first order theories of diagonalizable algebras of a wide class of theories are undecidable and establish some related results.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  33
    Effectively Inseparable Boolean Algebras in Lattices of Sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.
    We show the non-arithmeticity of 1st order theories of lattices of Σ n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithmetic theories than has been previously known, and of the lattice of degrees of interpretability over PA. The first two results are applications of Nies’ theorem on the non-arithmeticity of the 1st order theory of the lattice of r.e. ideals on any effectively dense r.e. Boolean algebra. The theorem on degrees of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  17
    A Note on the Diagonalizable Algebras of PA and ZF.V. Yu Shavrukov - 1993 - Annals of Pure and Applied Logic 61 (1-2):161-173.
    We prove that the diagonalizable algebras of PA and ZF are not isomorphic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  20.  3
    Uniform Density in Lindenbaum Algebras.V. Yu Shavrukov & Albert Visser - 2014 - Notre Dame Journal of Formal Logic 55 (4):569-582.
    In this paper we prove that the preordering $\lesssim $ of provable implication over any recursively enumerable theory $T$ containing a modicum of arithmetic is uniformly dense. This means that we can find a recursive extensional density function $F$ for $\lesssim $. A recursive function $F$ is a density function if it computes, for $A$ and $B$ with $A\lnsim B$, an element $C$ such that $A\lnsim C\lnsim B$. The function is extensional if it preserves $T$-provable equivalence. Secondly, we prove a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  15
    Short History of the Literatures of India. A Course of Studies.Ludwik Sternbach, V. I. Balin, E. K. Brasalina, N. V. Gurov, G. A. Zograf, T. E. Katenina, V. A. Novikova, Yu V. Petchenko, S. G. Rudin, L. V. Saveleva, N. I. Tolstaya & V. G. Yerman - 1976 - Journal of the American Oriental Society 96 (1):138.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  9
    Remarks on Uniformly Finitely Precomplete Positive Equivalences.V. Yu Shavrukov - 1996 - Mathematical Logic Quarterly 42 (1):67-82.
    The paper contains some observations on e-complete, precomplete, and uniformly finitely precomplete r. e. equivalence relations. Among these are a construction of a uniformly finitely precomplete r. e. equivalence which is neither e- nor precomplete, an extension of Lachlan's theorem that all precomplete r. e. equivalences are isomorphic, and a characterization of sets of fixed points of endomorphisms of uniformly finitely precomplete r. e. equivalences.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  21
    On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):317-330.
  24.  13
    On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Mathematical Logic Quarterly 37 (19‐22):317-330.
  25.  6
    Atomic Modelling of Strengthening Mechanisms Due to Voids and Copper Precipitates in Α-Iron.Yu N. Osetsky†, D. J. Bacon & V. Mohles - 2003 - Philosophical Magazine 83 (31-34):3623-3641.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  5
    Germans of Novosibirsk Region in the Aspect of Multilingualism.O. A. Aleksandrov, O. A. Luzik & Yu V. Shegolikhina - 2017 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitarnyj Zhurnalrossiiskii Gumanitarnyi Zhurnal 6 (6):457.
    The work is carried out in line with the Russian dialectology of the German language. Its relevance comes from the fact that it is devoted to one of the territorial forms of German, which was never before linguistically studied. The authors of the paper conducted the field work in the territory of Novosibirsk region and collected data that allow analyzing the language situation of the Germans residing there. In the proposed article, the first results of this analysis are presented, which (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  15
    Ú. V. Matiásévič Arifmétičéskié Prédstavléniá Stépénéj. Isslédovaniá Po Konstruktivnoj Matématiké I Matématičéskoj Logiké, II, Edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta Im. V. A. Stéklova AN SSSR, Vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, Pp. 159–165. - Yu. V. Mattyasevich. Arithmetic Representations of Powers. English Translation of the Preceding. Studies in Constructive Mathematics and Mathematical Logic, Part II, Edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, Vol. 8, Consultants Bureau, New York-London 1970, Pp. 75–78. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):605.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  30
    Ú. V. Matiásévič Dvé Rédukcii 10-J Problémy Gilbérta. Isslédovaniá Po Konstruktivnoj Matématiké I Matématičéskoj Logiké, II, Edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta Im. V. A. Stéklova AN SSSR, Vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, Pp. 144–158. - Yu. V. Matiyasevich. Two Reductions of Hilbert's Tenth Problem. English Translation of the Preceding. Studies in Constructive Mathematics and Mathematical Logic, Part II, Edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, Vol. 8, Consultants Bureau, New York-London 1970, Pp. 68–74. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-605.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29. A Trap at the Escape From the Trap? Some Demographic Structural Factors of Political Instability in Modernizing Social Systems.Leonid Grinin, Andrey V. Korotayev & Sergey Yu Malkov - 2014 - In History & Mathematics: Trends and Cycles. Volgograd, Russia: Uchitel Publishing House. pp. 201-267.
    The escape from the ‘Malthusian trap’ is shown to tend to generate in a rather systematic way quite serious political upheavals. Some demographic structural mechanisms that generate such upheavals have been analyzed, which has made it possible to develop a mathematical model of the respective processes. The forecast of political instability in Sub-Saharan African countries in 2015– 2050 produced on the basis of this model is presented.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  25
    On Superintuitionistic Logics as Fragments of Proof Logic Extensions.A. V. Kuznetsov & A. Yu Muravitsky - 1986 - Studia Logica 45 (1):77 - 99.
    Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  31.  25
    The∀∃ Theory of Peano Σ1 Sentences.Per Lindström & V. Yu Shavrukov - 2008 - Journal of Mathematical Logic 8 (2):251-280.
    We present a decision procedure for the ∀∃ theory of the lattice of Σ1 sentences of Peano Arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  9
    Dislocation Dynamics Modelling of Dislocation–Loop Interactions in Irradiated Metals.Z. Rong, V. Mohles, D. J. Bacon * & Yu N. Osetsky - 2005 - Philosophical Magazine 85 (2-3):171-188.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  13
    Possible Mechanisms Underlying the Therapeutic Effects of Transcranial Magnetic Stimulation.Alexander V. Chervyakov, Andrey Yu Chernyavsky, Dmitry O. Sinitsyn & Michael A. Piradov - 2015 - Frontiers in Human Neuroscience 9.
  34.  27
    The ∀∃ Theory of Peano Σ1 Sentences.Per Lindström & V. Yu Shavrukov - 2008 - Journal of Mathematical Logic 8 (2):251-280.
    We present a decision procedure for the ∀∃ theory of the lattice of Σ1 sentences of Peano Arithmetic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  27
    Methodological Problems of Mathematical Modeling in Natural Science.I. A. Akchurin, M. F. Vedenov & Iu V. Sachkov - 1966 - Russian Studies in Philosophy 5 (2):23-34.
    The constantly accelerating progress of contemporary natural science is indissolubly associated with the development and use of mathematics and with the processes of mathematical modeling of the phenomena of nature. The essence of this diverse and highly fertile interaction of mathematics and natural science and the dialectics of this interaction can only be disclosed through analysis of the nature of theoretical notions in general. Today, above all in the ranks of materialistically minded researchers, it is generally accepted that theory possesses (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Mekhanizm 'politicheskogo investirovaniya', ili kak i zachem rossiisskii biznes uchastvuet v vyborakh i oplachivaet partiinuyu zhizn.S. Yu Barsukova & V. I. Zvyagintsev - 2006 - Polis 2:110-121.
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  10
    Crack-Stimulated Generation of Deformation Twins in Nanocrystalline Metals and Ceramics.M. Yu Gutkin, I. A. Ovid’ko & N. V. Skiba - 2008 - Philosophical Magazine 88 (8):1137-1151.
  38.  11
    V. O. Kluchevsky About the Character of Sadness in M. Yu. Lermontov’s Philosophical Lyrics.G. E. Gorlanov - 2018 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitarnyj Zhurnalrossiiskii Gumanitarnyi Zhurnal 7 (1):38.
    The famous Russian historian V. O. Kluchevsky had been constantly interested in literature. In this article, the author considers Kluchevsky’s observations on M. Yu. Lermontov’s creativity through the analyses of sadness motives in the article ‘Sadness‘ published in the journal ‘Russian Thought‘. Kluchevsky tried to understand how sadness motives were appeared in the Russian literature and how these motives influenced Lermontov’s self-reflection. Literary analyses is constructed on famous Lermontov’s lyrics, such as ‘Sail‘, ‘The golden cloud slept…‘, ‘Dream‘ and ‘July the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  12
    Kinetics of Shear Banding in a Bulk Metallic Glass Monitored by Acoustic Emission Measurements.A. Yu Vinogradov & V. A. Khonik - 2004 - Philosophical Magazine 84 (21):2147-2166.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  9
    Simulation of Precipitates Evolution in Multiphase Multicomponent Systems with Consideration of Nucleation.V. V. Popov, I. I. Gorbachev & A. Yu Pasynkov - 2016 - Philosophical Magazine 96 (35):3632-3653.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  4
    Corrigendum: The ∀∃ Theory of Peano Σ1 Sentences.V. Yu Shavrukov - 2017 - Journal of Mathematical Logic 17 (1):1792001.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    Duality, Non-Standard Elements, and Dynamic Properties of R.E. Sets.V. Yu Shavrukov - 2016 - Annals of Pure and Applied Logic 167 (10):939-981.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  59
    Isomorphisms of Diagonalizable Algebras.V. Yu Shavrukov - 1997 - Theoria 63 (3):210-221.
  44.  25
    The Lindenbaum Fixed Point Algebra is Undecidable.V. Yu Shavrukov - 1991 - Studia Logica 50 (1):143-147.
    We prove that the first order theory of the fixed point algebra corresponding to an r.e. consistent theory containing arithmetic is hereditarily undecidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. Concussion of the Brain and Spatial-Frequency Contrast Sensitivity.Yu E. Shelepin, V. F. Danilichev, S. A. Koskin, V. B. Makulov & N. N. Krasilnikov - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 80-80.
     
    Export citation  
     
    Bookmark  
  46.  13
    Types of Stable Development in Regional Social and Economic Russian Systems.V. V. Tsiganov & E. Yu Trunova - 2012 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitaryj Zhurnalrossiiskii Gumanitarnyi Zhurnal 1 (1):73.
    The necessity to provide for a stable regional development as one of the main priorities of regional social and economic policies in the unstable world economics is justified. A wide classification of stability types in region development is considered and factors influencing the institutional stability are singled out.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  7
    Statistical Calculations of Tracer and Intrinsic Diffusion Coefficients in Concentrated Alloys and Estimates of Microscopic Parameters of Diffusion From Experimental Data.V. G. Vaks, A. Yu Stroev, I. R. Pankratov, K. Yu Khromov, A. D. Zabolotskiy & I. A. Zhuravlev - 2015 - Philosophical Magazine 95 (14):1536-1572.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  39
    The Origin of Metazoa: A Transition From Temporal to Spatial Cell Differentiation.Kirill V. Mikhailov, Anastasiya V. Konstantinova, Mikhail A. Nikitin, Peter V. Troshin, Leonid Yu Rusin, Vassily A. Lyubetsky, Yuri V. Panchin, Alexander P. Mylnikov, Leonid L. Moroz, Sudhir Kumar & Vladimir V. Aleoshin - 2009 - Bioessays 31 (7):758-768.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  2
    Scaling of Complex Polymers: New Universality Classes and Beyond.V. Blavatska, C. von Ferber & Yu Holovatch - 2008 - Philosophical Magazine 88 (33-35):4085-4091.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  37
    S. V. Bredikhin, Yu. L. Ershov, and V. E. Kal'nei. Fields with Two Linear Orderings. Mathematical Notes of the Academy of Sciences of the USSR, Vol. 7, Pp. 319–325. , Pp. 525–536.) - Moshe Jarden. The Elementary Theory of Large E-Fold Ordered Fields. Acta Mathematica, Vol. 149 , Pp. 239–260. - Alexander Prestel. Pseudo Real Closed Fields. Set Theory and Model Theory, Proceedings of an Informal Symposium Held at Bonn, June 1–3, 1979, Edited by R. B. Jensen and A. Prestel, Lecture Notes in Mathematics, Vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, Pp. 127–156. - Moshe Jarden. On the Model Companion of the Theory of E-Fold Ordered Fields. Acta Mathematica, Vol. 150, Pp. 243–253. - Alexander Prestel. Decidable Theories of Preordered Fields. Mathematische Annalen, Vol. 258 , Pp. 481–492. - Ju. L. Eršov. Regularly R-Closed Fields. Soviet Mathematics—Doklady, Vol. 26 , Pp. 363–366. , Pp. 538-540.). [REVIEW]Gregory Cherlin - 1986 - Journal of Symbolic Logic 51 (1):235-237.
1 — 50 / 1000