-
1Academic JournalThe network society and the institute of education: A dimension of socio-philosophical understanding
المؤلفون: Syusyukin, Vladimir Alekseevich
المصدر: Известия Саратовского университета: Новая серия. Серия Философия. Психология. Педагогика, Vol 23, Iss 3, Pp 287-292 (2023)
مصطلحات موضوعية: institution of education, network society, educational toposes, digitalization, modern education, Philosophy (General), B1-5802
وصف الملف: electronic resource
-
2Academic Journal
المؤلفون: Tenorio, Ana Luiza, Mariano, Hugo Luiz
المصدر: Boletín de Matemáticas; Vol. 30 No. 2 (2023); 25-30 ; Boletín de Matemáticas; Vol. 30 Núm. 2 (2023); 25-30 ; 2357-6529 ; 0120-0380
مصطلحات موضوعية: toposes, sheaves, quantales, monoidal categories
وصف الملف: application/pdf
-
3Academic Journal
المؤلفون: Elena M. Dzyuba, Victoria T. Zakharova
المصدر: Studia Litterarum, Vol 7, Iss 3, Pp 430-463 (2022)
مصطلحات موضوعية: nizhny novgorod text of russian literature, supertext, cultural and historical landscape, sacred toposes. national image-character., Literature (General), PN1-6790
وصف الملف: electronic resource
-
4Academic Journal
المؤلفون: Dubut, Jérémy
المساهمون: Jérémy Dubut
مصطلحات موضوعية: Regular Categories, Toposes, Bisimulations, Coalgebra
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 270, 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.19
-
5Academic Journal
المؤلفون: Robert Szymula
المصدر: Актуальные проблемы филологии и педагогической лингвистики, Iss 3, Pp 45-54 (2020)
مصطلحات موضوعية: discourse, political discourse, v.v. putin, presidential discourse, inaugural speech, functions of inaugural speech, toposes, Education (General), L7-991, Language and Literature
وصف الملف: electronic resource
-
6Academic Journal
المؤلفون: Matache, Cristina, Moss, Sean, Staton, Sam
المساهمون: Cristina Matache and Sean Moss and Sam Staton
مصطلحات موضوعية: Denotational semantics, Full abstraction, Recursion, Sheaf toposes, CPOs
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 195, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.25
-
7Academic Journal
المؤلفون: Zoethout, Jetze
المساهمون: Sub Fundamental Mathematics, Fundamental mathematics
مصطلحات موضوعية: Partial combinatory algebra, realizability, toposes, Mathematics (miscellaneous), Computer Science Applications
وصف الملف: application/pdf
-
8Academic Journal
المؤلفون: Garner, Richard, Streicher, Thomas
المصدر: Garner , R & Streicher , T 2021 , ' An essential local geometric morphism which is not locally connected though its inverse image part is an exponential ideal ' , Theory and Applications of Categories , vol. 37 , no. 26 , pp. 908-913 . < http://www.tac.mta.ca/tac/volumes/37/26/37-26abs.html >
مصطلحات موضوعية: toposes, geometric morphisms, locally connected, hyperconnected, local
-
9Dissertation/ Thesis
المؤلفون: Roldan Moros, Samuel Felipe
المساهمون: Zambrano Ramírez, Pedro Hernán, Interacciones Entre Teoría de Modelos, Teoría de Conjuntos, Categorías, Análisis y Geometría
مصطلحات موضوعية: 510 - Matemáticas::511 - Principios generales de las matemáticas, Topos (Matemáticas), Conjuntos, Teoría axiomática de, Toposes (Mathematics), Axiomatic set theory, Categorías (Matemáticas), Categories (Mathematics), Logic, Categorical logic, Topos, Infinitary logic, Large cardinals, Category theory, Lógica, Lógica categorica, Lógica infinitara, Grandes cardinales, Teoría de categorias, Lógica infinitaria
وصف الملف: viii, 130 páginas; application/pdf
Relation: Michael Artin, Alexander Grothendieck, and Jean-Louis Verdier. Theorie de Topos et Cohomologie Etale des Schemas II, volume 270 of Lecture Notes in Mathematics. Springer, 1971.; Will Boney. Tameness and extending frames. J. Math. Log., 14(02), 2014.; Will Boney and Spencer Unger. Large cardinal axioms from tameness in AECs. Proc. Amer. Math. Soc., 145(10):4517–4532, 2017.; Christian Espíndola. Infinitary first-order categorical logic. Ann. Pure Appl. Logic, 170(2):137–162, 2019.; Christian Espíndola. A short proof of shelah’s eventual categoricity conjecture for AEC’s with interpolation, under GCH. arXiv preprint arXiv:1909.13713, 2019.; Christian Espíndola. Infinitary generalizations of deligne’s completeness theo- rem. J. Symb. Log., 85(3):1147–1162, 2020.; Rami Grossberg and Monica VanDieren. Shelah’s categoricity conjecture from a successor for tame abstract elementary classes. J. Symb. Log., 71(2):553–568, 2006.; Horst Herrlich and Kyriakos Keremedis. The baire category theorem and choice. Topology Appl., 108(2):157–167, 2000.; Thomas J Jech. Set theory, volume 14. Springer, 2003.; Thomas J Jech. The axiom of choice. Courier Corporation, 2008.; Peter T Johnstone. Stone spaces, volume 3. Cambridge university press, 1982.; Peter T Johnstone. Sketches of an Elephant: A Topos Theory Compendium: Volume 2, volume 2. Oxford University Press, 2002.; Akihiro Kanamori. The higher infinite: large cardinals in set theory from their beginnings. Springer Science & Business Media, 2008.; H. Jerome Keisler. Logic with the quantifier there exist uncountably many. Ann. Math. Log., 1(1):1–93, 1970.; H. Jerome Keisler. Model Theory for Infinitary Logic. Amsterdam,: North- Holland Pub. Co., 1971.; H Jerome Keisler and Steven C Leth. Meager sets on the hyperfinite time line. J. Symb. Log, 56(1):71–102, 1991.; Michael Makkai. A theorem on barr-exact categories, with an infinitary gener- alization. Ann. Pure Appl. Logic, 47(3):225–268, 1990.; Saunders Mac Lane. Categories for the working mathematician, volume 5. Springer Science & Business Media, 1971.; Saunders MacLane and Ieke Moerdijk. Sheaves in geometry and logic: A first in- troduction to topos theory. Springer Science & Business Media, second printing, 1992.; Michael Morley. Categoricity in power. Trans. Amer. Math. Soc., 114(2):514– 538, 1965.; Michael Makkai and Gonzalo E Reyes. First order categorical logic: model- theoretical methods in the theory of topoi and related categories, volume 611. Springer, 1977.; Michael Makkai and Saharon Shelah. Categoricity of theories in Lκω, with κ a compact cardinal. Ann. Pure Appl. Logic, 47(1):41–97, 1990.; Saharon Shelah. Categoricity of uncountable theories. In Proceedings of the Tarski Symposium, volume XXV of Proc. Sympos. Pure Math., pages 187–203. Amer. Math. Soc., Providence, R.I., 1974.; Saharon Shelah. Classification theory for nonelementary classes. I. The number of uncountable models of ψ ∈ Lω1,ω. Part A. Israel J. Math., 46(3):212–240, 1983.; Saharon Shelah. Classification theory for nonelementary classes. I. The number of uncountable models of ψ ∈ Lω1,ω. Part B. Israel J. Math., 46(4):241–273, 1983.; Saharon Shelah. Classification of non elementary classes ii abstract elementary classes. In Classification theory, pages 419–497. Springer, 1987.; Michael Makkai and Robert Paré. Accessible Categories: The Foundations of Categorical Model Theory: The Foundations of Categorical Model Theory, vol- ume 104. American Mathematical Soc., 1989.; https://repositorio.unal.edu.co/handle/unal/85476; Universidad Nacional de Colombia; Repositorio Institucional Universidad Nacional de Colombia; https://repositorio.unal.edu.co/
-
10Academic Journal
المؤلفون: Evgeniya G. Dmitrieva, Irina A. Safonova
المصدر: Vestnik Volgogradskogo Gosudarstvennogo Universiteta. Seriâ 2. Âzykoznanie, Vol 17, Iss 4, Pp 27-39 (2018)
مصطلحات موضوعية: hagiographic text, eldership, Venerable image, toposes, emotive lexical units, perceptive lexis, lexical semantics, Language and Literature
وصف الملف: electronic resource
-
11Academic Journal
المؤلفون: TSEMENTZIS, DIMITRIS
المصدر: The Journal of Symbolic Logic, 2017 Dec 01. 82(4), 1181-1198.
URL الوصول: https://www.jstor.org/stable/26600283
-
12Academic Journal
المؤلفون: Zoethout, J.
المساهمون: Sub Fundamental Mathematics, Fundamental mathematics
مصطلحات موضوعية: partial combinatory algebra, assemblies, toposes, slicing, Taverne
وصف الملف: application/pdf
-
13
المؤلفون: Forssell, Henrik
المصدر: Theory and Applications of Categories. 28:541-551
مصطلحات موضوعية: Grothendieck toposes, sheaves on topological groupoids, categorical logic
وصف الملف: print
-
14Academic Journal
المؤلفون: Torsten Asselmeyer-Maluga, Jerzy Król
المصدر: Symmetry; Volume 11; Issue 12; Pages: 1429
مصطلحات موضوعية: exotic R 4, smooth toposes, tovariance, symmetry and categories in physics
وصف الملف: application/pdf
Relation: Physics and Symmetry/Asymmetry; https://dx.doi.org/10.3390/sym11121429
الاتاحة: https://doi.org/10.3390/sym11121429
-
15Academic Journal
المؤلفون: V. T. Zаkharova, M. Sidor
المصدر: Вестник Мининского университета, Vol 0, Iss 1-1 (2017)
مصطلحات موضوعية: nizhny novgorod text of russian literature, the national image of the world, national character, sacral toposes, spiritual potential, tradition, ontology, Education (General), L7-991
وصف الملف: electronic resource
-
16Academic Journal
المؤلفون: van Oosten, J., Zou, Tingxiang
المساهمون: Sub Fundamental Mathematics, Fundamental mathematics
مصطلحات موضوعية: realizability toposes, partial combinatory algebras, geometric morphisms, local operators, abstract Krivine structures, non-localic Boolean toposes
وصف الملف: image/pdf
-
17eBook
المؤلفون: Bell, John L., author
المصدر: Categories for the Working Philosopher, 2017.
-
18Academic Journal
المؤلفون: Hellman, Geoffrey
المصدر: Journal of Philosophical Logic, 2006 Dec 01. 35(6), 621-651.
URL الوصول: https://www.jstor.org/stable/30226881
-
19Academic Journal
المؤلفون: МОСАЛЕВА ГАЛИНА ВЛАДИМИРОВНА
مصطلحات موضوعية: ПОЭТИКА ТОПОСОВ,ИМЕН И ВЕЩЕЙ,НАРОДНАЯ И ЦЕРКОВНАЯ ПРАЗДНИЧНОСТЬ,POETICS OF TOPOSES,NAMES AND THINGS,FOLK AND ECCLESIASTIC FESTIVITY
وصف الملف: text/html
-
20Academic Journal
Full Text Finder 
