المؤلفون: Prati, Nando

مصطلحات موضوعية: keyword:Alternative Set Theory, keyword:axiomatic systems, keyword:interpretation, keyword:consistency, keyword:ultrapower, msc:03E70, msc:03H05, msc:03H20, msc:03H99

وصف الملف: application/pdf

Relation: mr:MR1292595; zbl:Zbl 0804.03042; reference:[B1] Boffa M.: Forcing et negation de l'axiome de fondement.Mem. Acad. Sc. Belg., Tome XL, Fasc. 7, 1972. Zbl 0286.02068; reference:[B2] Boffa M.: Sur la théorie des ensembles sans axiome de fondement.Bull. Soc. Math. Belg. 21 (1969), 16-56. Zbl 0193.30601, MR 0260588; reference:[C-K] Chang C.C., Keisler H.J.: Model Theory.North-Holland Publishing Company, Amsterdam, 1973. Zbl 0697.03022, MR 0409165; reference:[Ob1] Oberschelp A.: Set Theory over Classes.Dissertationes Mathematicae CVI, Warszawa, 1973. Zbl 0343.02050, MR 0319758; reference:[Ob2] Oberschelp A.: Eigentliche Klassen als Urelemente in der Mengenlehre.Math. Annalen 157 (1964), 234-260. Zbl 0121.25603, MR 0177878; reference:[Pr1] Prati N.: A fuzzy Alternative Set Theory.Riv. Mat. Univ. Parma (4) 14 (1988), 181-191. Zbl 0688.03035, MR 1007079; reference:[Pr2] Prati N.: Una Teoria di Insiemi Fuzzy ed Alternativi (in Italian).Tesi di Dottorato di Ricerca in Matematica, Dip. di Matematica Univ. di Pisa, 1988.; reference:[So1] Sochor A.: Metamathematics of the Alternative Set Theory I.Comment. Math. Univ. Carolinae 20 (1979), 697-721. Zbl 0433.03028, MR 0555184; reference:[So2] Sochor A.: Metamathematics of the Alternative Set Theory III.Comment. Math. Univ. Carolinae 24 (1983), 137-154. Zbl 0531.03031, MR 0703933; reference:[Vo] Vopěnka P.: Mathematics in the Alternative Set Theory.Teubner Texte, Leipzig, 1979. MR 0581368

الاتاحة: http://hdl.handle.net/10338.dmlcz/118653

المؤلفون: Kalina, Martin

مصطلحات موضوعية: keyword:alternative set theory, keyword:expected value, keyword:law of large numbers, keyword:central limit theorem, msc:03E70, msc:03H05, msc:26E35, msc:60A99, msc:60F05, msc:60F99

وصف الملف: application/pdf

Relation: mr:MR1292592; zbl:Zbl 0802.60023; reference:[K-Z] Kalina M., Zlatoš P.: Borel classes in AST. Measurability, cuts and equivalence.Comment. Math. Univ. Carolinae 30 (1989), 357-372. MR 1014135; reference:[L] Loeb P.A.: Conversion from nonstandard to standard measure spaces and applications in probability theory.Trans. AMS 211 (1975), 113-122. Zbl 0312.28004, MR 0390154; reference:[N] Nelson E.: Radically Elementary Probability Theory.Princeton University Press Princeton (1987). Zbl 0651.60001, MR 0906454; reference:[V] Vopěnka P.: Mathematics in the Alternative Set Theory.Teubner Texte Leipzig (1979). MR 0581368

الاتاحة: http://hdl.handle.net/10338.dmlcz/118650

المؤلفون: Chen, Shutao, Wisła, Marek

مصطلحات موضوعية: keyword:extreme points, keyword:vector valued continuous functions, keyword:compact linear operators, keyword:Orlicz spaces, msc:03D55, msc:03E30, msc:03E70, msc:03H05, msc:46B20, msc:46E30

وصف الملف: application/pdf

Relation: mr:MR1240204; zbl:Zbl 0801.46027; reference:[1] Aubin J.P., Cellina A.: Differential Inclusions.Springer Verlag, Berlin, 1984. Zbl 0538.34007, MR 0755330; reference:[2] Blumenthal R.M., Lindenstrauss J., Phelps R.R.: Extreme operators into $C(K)$.Pacific J. Math. 15 (1965), 747-756. Zbl 0141.32101, MR 0209862; reference:[3] Clausing A., Papadopoulou S.: Stable convex sets and extreme operators.Math. Ann. 231 (1978), 193-203. MR 0467249; reference:[4] Dunford N., Schwartz J.T.: Linear Operators I, General Theory.Pure Appl. Math., vol. 7, Interscience, New York, 1958. Zbl 0084.10402, MR 0117523; reference:[5] Grząślewicz R.: Extreme points in $C(K,L^{\varphi }(\mu))$.Proc. Amer. Math. Soc. 98 (1986), 611-614. Zbl 0606.46019, MR 0861761; reference:[6] Krasnosel'skii M.A., Rutickii Y.B.: Convex Functions and Orlicz Spaces.Nordhoff, Groningen, 1961.; reference:[7] Lao B.Y., Zhu X.: Extreme points of Orlicz spaces (in Chinese).J. Zhongshan University, no. 2 (1983), 27-36.; reference:[8] Lindenstrauss J., Tzafriri L.: Classical Banach Spaces II.Springer Verlag, Berlin-Heidelberg- New York, 1977. Zbl 0403.46022, MR 0500056; reference:[9] Luxemburg W.A.J.: Banach Function Spaces.Thesis, Delft, 1955. Zbl 0162.44701, MR 0072440; reference:[10] Michael E.: Continuous selections I.Ann. of Math. (2) 63 (1956), 361-382. Zbl 0071.15902, MR 0077107; reference:[11] Morris P.D., Phelps R.R.: Theorems of Krein-Milman type for certain convex sets of operators.Trans. Amer. Math. Soc. 150 (1970), 183-200. Zbl 0198.46601, MR 0262804; reference:[12] Musielak J.: Orlicz spaces and modular spaces.Lecture Notes in Math. 1034, Springer Verlag, 1983. Zbl 0557.46020, MR 0724434; reference:[13] Orlicz W.: Über eine gewisse Klasse von Räumen vom Typus B.Bull. Intern. Acad. Pol., série A, Kraków (1932), 207-220. Zbl 0006.31503; reference:[14] Papadopoulou S.: On the geometry of stable compact convex sets.Math. Ann. 229 (1977), 193-200. Zbl 0339.46001, MR 0450938; reference:[15] Wang Zhuogiang: Extreme points of Orlicz sequence spaces (in Chinese).J. Daqing Oil College, no. 1 (1983), 112-121.; reference:[16] Wisła M.: Extreme points and stable unit balls in Orlicz sequence spaces.Archiv der Math. 56 (1991), 482-490. MR 1100574; reference:[17] Wisła M.: A full description of extreme points in $C(Ømega , L^{\varphi }(\mu))$.Proc. of Amer. Math. Soc. 113 (1991), 193-200. MR 1072351; reference:[18] Wu Congxin, Wang Tingfu, Chen Shutao, Wang Youwen: Geometry of Orlicz Spaces (in Chinese).Harbin Institute of Technology, Harbin, 1986.; reference:[19] Wu Congxin, Zhao Shanzhong, Chen Junao: On calculation of rotundity of Orlicz spaces (in Chinese).J. Harbin Inst. of Technology, no. 2 (1978), 1-12.

الاتاحة: http://hdl.handle.net/10338.dmlcz/118556

المؤلفون: Mlček, Josef

مصطلحات موضوعية: keyword:monotonic valuations, keyword:ideal, keyword:semigroup, msc:03E70, msc:20M14, msc:93A15

وصف الملف: application/pdf

Relation: mr:MR1240200; zbl:Zbl 0792.03034; reference:[M1] Mlček J.: Approximations of $\sigma $-classes and $\pi $-classes.Comment. Math. Univ. Carolinae (1979), 20 669-679. MR 0555182; reference:[M2] Mlček J.: Valuations of structures.Comment. Math. Univ. Carolinae (1979), 20 681-695. MR 0555183; reference:[M3] Mlček J.: Monotonic valuations and valuations of triads of higher types.Comment. Math. Univ. Carolinae (1981), 22 377-398. MR 0620373; reference:[V] Vopěnka P.: Mathematics in the Alternative Set Theory.Teubner Texte, Leipzig, 1979. MR 0581368

الاتاحة: http://hdl.handle.net/10338.dmlcz/118552

المؤلفون: Sochor, A.

مصطلحات موضوعية: keyword:alternative set theory, keyword:complexity of formulae, keyword:$\Pi_2$-formula, keyword:extension of axiomatic systems, msc:03A05, msc:03D55, msc:03E30, msc:03E35, msc:03E70, msc:03H05, msc:03H15

وصف الملف: application/pdf

Relation: mr:MR1240201; zbl:Zbl 0792.03037; reference:[B] Bernays P.: A system of axiomatic set theory.JSL 2 (1937), 65-77. Zbl 0019.29403; reference:[G] Gödel KI.: The consistency of the axiom of choice and of the general continuum hypothesis.Ann. of Math. Studies, Princeton, 1940.; reference:[P-S1984] Pudlák P., Sochor A.: Models of the alternative set theory.JSL 49 (1984), 570-585. MR 0745386; reference:[S1979] Sochor A.: Metamathematics of the alternative set theory I.Comment. Math. Univ. Carolinae 20 (1979), 697-722. Zbl 0433.03028, MR 0555184; reference:[S1982] Sochor A.: Metamathematics of the alternative set theory II.Comment. Math. Univ. Carolinae 23 (1982), 55-79. Zbl 0493.03030, MR 0653351; reference:[S1983] Sochor A.: Metamathematics of the alternative set theory III.Comment. Math. Univ. Carolinae 24 (1983), 137-154. Zbl 0531.03031, MR 0703933; reference:[S1985] Sochor A.: Constructibility and shiftings of view.Comment. Math. Univ. Carolinae 26 (1985), 477-498. Zbl 0583.03040, MR 0817822; reference:[S-V1980] Sochor A., Vopěnka P.: Revealments.Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243; reference:[S-V1981] Sochor A., Vopěnka P.: The axiom of reflection.Comment. Math. Univ. Carolinae 22 (1981), 87-111. MR 0609938; reference:[S-V1983] Sochor A., Vopěnka P.: Shiftings of the horizon.Comment. Math. Univ. Carolinae 24 (1983), 127-136. MR 0703932; reference:[Sg1986] Sgall J.: Construction of the class FN.Comment. Math. Univ. Carolinae 27 (1986), 435-436. Zbl 0611.03025, MR 0873617; reference:[Ve1984] Vencovská A.: Independence of the axiom of choice in the alternative set theory.Open days in model theory and set theory, Proceedings 1981 Jadwisin (Leeds 1984).; reference:[V1979] Vopěnka P.: Mathematics in the Alternative Set Theory.TEUBNER TEXTE, Leipzig, 1979. MR 0581368; reference:[V1989] Vopěnka P.: Úvod do matematiky v alternatívnej teórii množín (in Slovak).ALFA Bratislava, 1989.

الاتاحة: http://hdl.handle.net/10338.dmlcz/118553

المؤلفون: Guričan, Jaroslav

مصطلحات موضوعية: keyword:alternative set theory, keyword:set-definable, keyword:homology theory, keyword:simplex, keyword:complex, keyword:Sd-IS of groups, msc:03E70, msc:20F99, msc:55N35

وصف الملف: application/pdf

Relation: mr:MR1240199; zbl:Zbl 0798.55005; reference:[A] Alexandrov P.S.: Combinatorial Topology (in Russian).Moskva (1947).; reference:[C] McCord M.C.: Non-standard analysis and homology.Fund. Math. 74 (1972), 21-28. Zbl 0233.55005, MR 0300270; reference:[D] Dowker C.H.: Homology groups of relations.Ann. Math 56 (1952), 84-95. Zbl 0046.40402, MR 0048030; reference:[E-S] Eilenberg S., Steenrod N.: Foundations of Algebraic Topology.Princeton Press (1952). Zbl 0047.41402, MR 0050886; reference:[G] Garavaglia S.: Homology with equationally compact coefficients.Fund. Math. 100 (1978), 89-95. Zbl 0377.55006, MR 0494066; reference:[G1] Guričan J.: Homology theory in the alternative set theory I. Algebraic preliminaries.Comment. Math. Univ. Carolinae 32 (1991), 75-93. MR 1118291; reference:[G2] Guričan J.: Homology theory in the AST II. Basic concepts, Eilenberg-Steenrod's axioms.Comment. Math. Univ. Carolinae 33 (1992), 353-372. Zbl 0761.55004, MR 1189667; reference:[H-W] Hilton P.J., Wylie S.: Homology Theory.Cambridge University Press Cambridge (1960). Zbl 0091.36306, MR 0115161; reference:[S-V] Sochor A., Vopěnka P.: Endomorphic universes and their standard extensions.Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178; reference:[S-W] Sgall J., Witzany J.: Dimension of indiscernibility equivalences.Comment. Math. Univ. Carolinae 28 (1987), 537-547. Zbl 0629.03034, MR 0912582; reference:[V1] Vopěnka P.: Mathematics in the Alternative Set Theory.Teubner-Texte Leipzig (1979). MR 0581368; reference:[V2] Vopěnka P.: Introduction to Mathematics in the Alternative Set Theory (in Slovak).ALFA Bratislava (1989).; reference:[W] Wattenberg F.: Non-standard analysis and the Theory of shape.Fund. Math. 98 (1978), 41-60. MR 0528354; reference:[Ž1] Živaljevič R.T.: Infinitesimals, microsimplexes and elementary homology theory.AMM 7 (1986), 540-544. MR 0856293; reference:[Ž2] Živaljevič R.T.: On a cohomology theory based on hyperfinite sums of microsimplexes.Pacific J. Math. (1987), 1 201-208. MR 0883385

الاتاحة: http://hdl.handle.net/10338.dmlcz/118551

المؤلفون: Mlček, Josef

مصطلحات موضوعية: keyword:valuation, keyword:triad, keyword:metrization theorem, keyword:semigroup, msc:03E70, msc:20M14, msc:20M99, msc:54E35

وصف الملف: application/pdf

Relation: mr:MR1240188; zbl:Zbl 0784.03033; reference:[Gui] Guide to Alternative set theory: (in Proc. of the $1^{st}$ Symp. Mathematics in the alternative set theory), 1989.; reference:[M1] Mlček J.: Approximations of $\sigma $-classes and $\pi $-classes.Comment. Math. Univ. Carolinae 20 (1979), 669-679. MR 0555182; reference:[M2] Mlček J.: Valuations of structures.Comment. Math. Univ. Carolinae (1979), 20 681-695. MR 0555183; reference:[M3] Mlček J.: Monotonic valuations and valuations of triads of higher types.Comment. Math. Univ. Carolinae (1981), 22 377-398. MR 0620373; reference:[V] Vopěnka P.: Mathematics in the Alternative Set Theory.TEUBNER TEXTE Leipzig (1979). MR 0581368

الاتاحة: http://hdl.handle.net/10338.dmlcz/118538

المؤلفون: Náter, J., Pulmann, P., Zlatoš, P.

مصطلحات موضوعية: keyword:alternative set theory, keyword:biequivalence vector space, keyword:$\pi$-equivalence, keyword:continuous function, keyword:set uniform equivalence, keyword:compact, keyword:dimensionally compact, msc:03E70, msc:03H05, msc:46E25, msc:46S10, msc:46S20, msc:46S99

وصف الملف: application/pdf

Relation: mr:MR1240189; zbl:Zbl 0784.46064; reference:[G-Z 1985] Guričan J., Zlatoš P.: Biequivalences and topology in the alternative set theory.Comment. Math. Univ. Carolinae 26 (1985), 525-552. MR 0817825; reference:[K-Z 1988] Kalina M., Zlatoš P.: Arithmetic of cuts and cuts of classes.Comment. Math. Univ. Carolinae 29 (1988), 435-456. MR 0972828; reference:[M 1979] Mlček J.: Valuations of structures.Comment. Math. Univ. Carolinae 20 (1979), 681-696. MR 0555183; reference:[M 1990] Mlček J.: Some structural and combinatorial properties of classes in the alternative set theory (in Czech).habilitation Faculty of Mathematics and Physics, Charles University Prague.; reference:[Sm 1987] Šmíd M.: personal communication.; reference:[Sm-Z 1991] Šmíd M., Zlatoš P.: Biequivalence vector spaces in the alternative set theory.Comment. Math. Univ. Carolinae 32 (1991), 517-544. MR 1159799; reference:[V 1979] Vopěnka P.: Mathematics in the Alternative Set Theory.Teubner-Verlag Leipzig. MR 0581368; reference:[V 1979a] Vopěnka P.: The lattice of indiscernibility equivalences.Comment. Math. Univ. Carolinae 20 (1979), 631-638. MR 0555179; reference:[Z 1989] P. Zlatoš: Topological shapes.Proc. of the 1st Symposium on Mathematics in the Alternative Set Theory J. Mlček et al. Association of Slovak Mathematicians and Physicists Bratislava 95-120.

الاتاحة: http://hdl.handle.net/10338.dmlcz/118539

المؤلفون: Mlček, Josef

مصطلحات موضوعية: keyword:isomorphic representation, keyword:extensional relation, keyword:well-founded relation, keyword:set-pro\-lon\-gation, msc:03E70, msc:04A99

وصف الملف: application/pdf

Relation: mr:MR1240187; zbl:Zbl 0784.03032; reference:[V] Vopěnka P.: Mathematics in the Alternative Set Theory.TEUBNER TEXTE Leipzig (1979). MR 0581368

الاتاحة: http://hdl.handle.net/10338.dmlcz/118537

المؤلفون: Guričan, Jaroslav

مصطلحات موضوعية: keyword:alternative set theory, keyword:set-definable, keyword:homology theory, keyword:simplex, keyword:complex, keyword:Sd-IS of groups, msc:03E70, msc:03H05, msc:55N35

وصف الملف: application/pdf

Relation: mr:MR1189667; zbl:Zbl 0761.55004; reference:[A] Alexandrov P.S.: Combinatorial Topology.Moskva (1947),(in Russian).; reference:[C] Cord M.C.: Non-standard analysis and homology.Fund. Math. 74 (1972), 21-28. MR 0300270; reference:[E-S] Eilenberg S., Steenrod N.: Foundations of Algebraic Topology.Princeton Press (1952). Zbl 0047.41402, MR 0050886; reference:[G] Garavaglia S.: Homology with equationally compact coefficients.Fund. Math. 100 (1978), 89-95. Zbl 0377.55006, MR 0494066; reference:[G1] Guričan J.: Homology theory in the alternative set theory I. Algebraic preliminaries.Comment. Math. Univ. Carolinae 32 (1991), 75-93. MR 1118291; reference:[G-Z] Guričan J., Zlatoš P.: Archimedean and geodetical biequivalences.Comment. Math. Univ. Carolinae 26 (1985), 675-698. MR 0831804; reference:[H-W] Hilton P.J., Wylie S.: Homology Theory.Cambridge University Press Cambridge (1960). Zbl 0091.36306, MR 0115161; reference:[S-V] Sochor A., Vopěnka P.: Endomorphic universes and their standard extensions.Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178; reference:[V1] Vopěnka P.: Mathematics in the Alternative Set Theory.Teubner-Texte Leipzig (1979). MR 0581368; reference:[V2] Vopěnka P.: Mathematics in the Alternative Set Theory.(in Slovak) ALFA Bratislava (1989).; reference:[W] Wattenberg F.: Non-standard analysis and the theory of shape.Fund. Math. 98 (1978), 41-60. MR 0528354; reference:[Ž1] Živaljevič R.T.: Infinitesimals, microsimplexes and elementary homology theory.AMM 93 (1986), 540-544. MR 0856293; reference:[Ž2] Živaljevič R.T.: On a cohomology theory based on hyperfinite sums of microsimplexes.Pacific J. Math. (1987), 128 201-208. MR 0883385

الاتاحة: http://hdl.handle.net/10338.dmlcz/118504

المؤلفون: Sgall, Jiří, Sochor, Antonín

مصطلحات موضوعية: keyword:alternative set theory, keyword:second order arithmetic, keyword:forcing, keyword:schemes of choice, keyword:axiom of constructibility, keyword:degrees of constructibility, msc:03E25, msc:03E35, msc:03E40, msc:03E45, msc:03E70

وصف الملف: application/pdf

Relation: mr:MR1137795; zbl:Zbl 0751.03026; reference:[A] Adamowicz Z.: Constructible semi-lattices of degrees of constructibility.In: Set Theory and Hierarchy Theory V, Lecture Notes in Mathematics 619, p. 1-43. Zbl 0369.02042, MR 0505487; reference:[L] Lévy A.: Definability in axiomatic set theory II.In: Mathematical Logic and Foundations of Set Theory, ed. by Y. Bar-Hillel, North-Holland, 1970. MR 0268037; reference:[S 1982] Sochor A.: Metamathematics of the alternative set theory II.Comment. Math. Univ. Carolinae 23 (1982), 55-79. Zbl 0493.03030, MR 0653351; reference:[S 1985] Sochor A.: Constructibility and shiftings of view.Comment. Math. Univ. Carolinae 26 (1985), 477-498. Zbl 0583.03040, MR 0817822; reference:[Sg] Sgall J.: Forcing in the alternative set theory I.Comment. Math. Univ. Carolinae 32 (1991), 323-337. Zbl 0751.03025, MR 1137794; reference:[V] Vopěnka P.: Mathematics in the Alternative Set Theory.Leipzig, 1979. MR 0581368

الاتاحة: http://hdl.handle.net/10338.dmlcz/116975

المؤلفون: Sgall, Jiří

مصطلحات موضوعية: keyword:alternative set theory, keyword:forcing, keyword:generic extension, keyword:symmetric extension, keyword:axiom of constructibility, msc:03E25, msc:03E35, msc:03E40, msc:03E45, msc:03E70

وصف الملف: application/pdf

Relation: mr:MR1137794; zbl:Zbl 0751.03025; reference:[S 1979] Sochor A.: Metamathematics of the Alternative set theory I.Comment. Math. Univ. Carolinae 20 (1979), 697-722. Zbl 0433.03028, MR 0555184; reference:[S 1982] Sochor A.: Metamathematics of the Alternative set theory II.Comment. Math. Univ. Carolinae 23 (1982), 55-79. Zbl 0493.03030, MR 0653351; reference:[S 1985] Sochor A.: Constructibility and shiftings of view.Comment. Math. Univ. Carolinae 26 (1985), 477-498. Zbl 0583.03040, MR 0817822; reference:[S 1991] Sochor A.: Scheme of choice in higher order arithmetics.to appear.; reference:[V] Vopěnka P.: Mathematics in the Alternative Set Theory.Leipzig, 1979. MR 0581368

الاتاحة: http://hdl.handle.net/10338.dmlcz/116974

المؤلفون: Čuda, Karel

مصطلحات موضوعية: keyword:alternative set theory, keyword:cuts of natural numbers, keyword:inner and outer cut of a class, keyword:inner and outer product of two cuts, keyword:logarithmical cut, msc:03E10, msc:03E70, msc:03H05, msc:03H15

وصف الملف: application/pdf

Relation: mr:MR1118290; zbl:Zbl 0735.03024; reference:[KZ 1988] Kalina M., Zlatoš P.: Arithmetics of cuts and cuts of classes.Comment. Math. Univ. Carolinae 29 (1988), 435-456. MR 0972828; reference:[KZ 1989] Kalina M., Zlatoš P.: Cuts of real classes.Comment. Math. Univ. Carolinae 30 (1989), 129-136. MR 0995711; reference:[S 1988] Sochor A.: Addition of initial segments I.Comment. Math. Univ. Carolinae 29 (1988), 501-517. Zbl 0658.03030, MR 0972833; reference:[SV 1979] Sochor A., Vopěnka P.: Endomorphic universes and their standard extensions.Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178; reference:[SV 1980] Sochor A., Vopěnka P.: Revealments.Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243; reference:[Tz 1987] Tzouvaras A.: A notion of measure for classes in AST.Comment. Math. Univ. Carolinae 28 (1987), 449-455. Zbl 0629.03033, MR 0912575; reference:[Tz 1988] Tzouvaras A.: Correction to the paper Tz 1987.Comment. Math. Univ. Carolinae 29 (1988), 393. MR 0957408

الاتاحة: http://hdl.handle.net/10338.dmlcz/116943

المؤلفون: Guričan, Jaroslav

مصطلحات موضوعية: keyword:alternative set theory, keyword:commutative $\pi $-group, keyword:free group, keyword:inverse system of Sd-classes and Sd-maps, keyword:prolongation, keyword:set-definable, keyword:tensor product, keyword:total homomorphism, msc:03E70, msc:03H05, msc:18G99, msc:20F99, msc:55N99

وصف الملف: application/pdf

Relation: mr:MR1118291; zbl:Zbl 0735.03032; reference:[C] McCord M.C.: Non-standard analysis and homology.Fund. Math. 74 (1972), 21-28. Zbl 0233.55005, MR 0300270; reference:[G] Garavaglia S.: Homology with equationally compact coefficients.Fund. Math. 100 (1978), 89-95. Zbl 0377.55006, MR 0494066; reference:[E-S] Eilenberg S., Steenrod N.: Foundations of algebraic topology.Princeton Press, 1952. Zbl 0047.41402, MR 0050886; reference:[H-W] Hilton P.J., Wylie S.: Homology Theory.Cambridge University Press, Cambridge, 1960. Zbl 0163.17803, MR 0115161; reference:[S-V] Sochor A., Vopěnka P.: Endomorphic universes and their standard extensions.Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178; reference:[V1] Vopěnka P.: Mathematics in the alternative set theory.Teubner-Texte, Leipzig, 1979. MR 0581368; reference:[V2] Vopěnka P.: Mathematics in the alternative set theory (in Slovak).Alfa, Bratislava, 1989.; reference:[W] Wattenberg F.: Non-standard analysis and the theory of shape.Fund. Math. 98 (1978), 41-60. MR 0528354; reference:[Ž1] Živaljevič R.T.: Infinitesimals, microsimplexes and elementary homology theory.AMM 93 (1986), 540-544. MR 0856293; reference:[Ž2] Živaljevič R.T.: On a cohomology theory based on hyperfinite sums of microsimplexes.Pacific J. Math. 128 (1987), 201-208. MR 0883385

الاتاحة: http://hdl.handle.net/10338.dmlcz/116944

المؤلفون: Sgall, Jiří, Sochor, Antonín

مصطلحات موضوعية: keyword:alternative set theory, keyword:automorphism, keyword:revealed, keyword:fully revealed, keyword:revealment, msc:03E70, msc:03H15

وصف الملف: application/pdf

Relation: mr:MR1118293; zbl:Zbl 0735.03026; reference:[P-S 1984] Pudlák P., Sochor A.: Models of the alternative set theory.JSL 49 (1984), 570-585. MR 0745386; reference:[S-1985] Sochor A.: Notes on revealed classes.Comment. Math. Univ. Carolinae 26 (1985), 477-498. Zbl 0583.03041, MR 0817822; reference:[S-V 1979] Sochor A., Vopěnka P.: Endomorphic universes and their standard extensions.Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178; reference:[S-V 1980] Sochor A., Vopěnka P.: Revealments.Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243; reference:[S-V 1981] Sochor A., Vopěnka P.: Ultrafilters of sets.Comment. Math. Univ. Carolinae 22 (1981), 698-699. MR 0647017; reference:[S-V 1989] Sochor A., Vopěnka P.: Constructions of classes by transfinite induction in AST.Comment. Math. Univ. Carolinae 30 (1989), 155-161. MR 0995714; reference:[Ve 1982] Vencovská A.: Constructions of endomorphic universes and similarities.Comment. Math. Univ. Carolinae 23 (1982), 557-577. MR 0677863; reference:[V] Vopěnka P.: Mathematics in the alternative set theory.Teubner-Texte, Leipzig, 1979. MR 0581368

الاتاحة: http://hdl.handle.net/10338.dmlcz/116946

المؤلفون: Šmíd, Miroslav, Zlatoš, Pavol

مصطلحات موضوعية: keyword:alternative set theory, keyword:biequivalence, keyword:vector space, keyword:monad, keyword:galaxy, keyword:symmetric Sd-closure, keyword:dual, keyword:valuation, keyword:norm, keyword:convex, keyword:basis, msc:03E70, msc:03H05, msc:46A04, msc:46A06, msc:46A08, msc:46A09, msc:46A35, msc:46Q05, msc:46S20

وصف الملف: application/pdf

Relation: mr:MR1159799; zbl:Zbl 0756.03027; reference:[Dv 1977] Davis M.: Applied Nonstandard Analysis.Wiley Interscience, New York-London-Sydney. Zbl 0359.02060, MR 0505473; reference:[Dy 1940] Day M.M.: The spaces $L^p$ with $0< p< 1$.Bull. Amer. Math. Soc. 46 816-823. MR 0002700; reference:[En 1973] Enflo P.: A counterexample to the approximation problem in Banach spaces.Acta Math. 130 309-317. Zbl 0286.46021, MR 0402468; reference:[G-Z 1985a] Guričan J., Zlatoš P.: Biequivalences and topology in the alternative set theory.Comment. Math. Univ. Carolinae 26 525-552. MR 0817825; reference:[G-Z 1985b] Guričan J., Zlatoš P.: Archimedean and geodetical biequivalences.Comment. Math. Univ. Carolinae 26 675-698. MR 0831804; reference:[H-Mr 1972] Henson C.W., Moore L.C.: The nonstandard theory of topological vector spaces.Trans. Amer. Math. Soc. 172 405-435. Zbl 0274.46013, MR 0308722; reference:[H-Mr 1983a] Henson C.W., Moore L.C.: Nonstandard analysis and the theory of Banach spaces.in Hurd A.E. (ed.), ``Nonstandard Analysis - Recent Developments,'' Lecture Notes in Mathematics 983, pp. 27-112, Springer, Berlin-Heidelberg-New York-Tokyo. Zbl 0511.46070, MR 0698954; reference:[H-Mr 1983b] Henson C.W., Moore L.C.: The Banach spaces $\ell_p(n)$ for large $p$ and $n$.Manuscripta Math. 44 1-33. MR 0709841; reference:[K-Z 1988] Kalina M., Zlatoš P.: Arithmetic of cuts and cuts of classes.Comment. Math. Univ. Carolinae 29 435-456. MR 0972828; reference:[M 1979] Mlček J.: Valuations of structures.Comment. Math. Univ. Carolinae 20 525-552. MR 0555183; reference:[Rd 1982] Radyno Ya.V.: Linear Equations and Bornology (in Russian).Izdatelstvo Belgosuniversiteta, Minsk. MR 0685429; reference:[Rm 1980] Rampas Z.: Theory of matrices in the description of structures (in Czech).Master Thesis, Charles University, Prague.; reference:[Rb-Rb 1964] Robertson A.P., Robertson W.J.: Topological Vector Spaces.Cambridge Univ. Press, Cambridge. Zbl 0423.46001, MR 0162118; reference:[Sn 1970] Singer I.: Bases in Banach Spaces I.Springer, Berlin-Heidelberg-New York. Zbl 0198.16601, MR 0298399; reference:[S-V 1980] Sochor A., Vopěnka P.: Revealments.Comment. Math. Univ. Carolinae 21 97-118. MR 0566243; reference:[V 1979] Vopěnka P.: Mathematics in the Alternative Set Theory.Teubner, Leipzig. MR 0581368; reference:[We 1976] Welsh D.J.A.: Matroid Theory.Academic Press, London-New York-San Francisco. Zbl 0343.05002, MR 0427112; reference:[Wi 1978] Wilansky A.: Modern Methods in Topological Vector Spaces.McGraw-Hill Int. Comp., New York-St.Louis. Zbl 0395.46001, MR 0518316; reference:[Z 1989] Zlatoš P.: Topological shapes.in Mlček J. et al. (eds.), ``Proc. of the $1^{st}$ Symposium on Mathematics in the Alternative Set Theory,'' pp. 95-120, Association of Slovak Mathematicians and Physicists, Bratislava.

الاتاحة: http://hdl.handle.net/10338.dmlcz/118431

المؤلفون: Kalina, Martin, Zlatoš, Pavol

مصطلحات موضوعية: msc:03E15, msc:03E70, msc:03H05, msc:04A15, msc:28A05, msc:28C15, msc:28E05, msc:54J05

وصف الملف: application/pdf

Relation: mr:MR1091372; zbl:Zbl 0719.03027; reference:[Č 1976] Čuda K.: Nestandardní teorie polomnožin.Praha, CSc.-thesis.; reference:[Č 1986] Čuda K.: The consistency of the measurability of projective semisets.Comment. Math. Univ. Carolinae 27 (1986), 103-121. MR 0843424; reference:[Č 1989] Čuda K.: Measurement.in: J. Mlček et al. (ed.), Proceedings of the 1st Symposium Mathematics in the Alternative Set Theory, Association of Slovak Mathematics and Physicists, Bratislava, pp. 121-131.; reference:[Č-V 1979] Čuda K., Vopěnka P.: Real and imaginary classes in the Alternative Set Theory.Comment. Math. Univ. Carolinae 20 (1979), 639-653. MR 0555180; reference:[K-Z 1988] Kalina M., Zlatoš P.: Arithmetic of cuts and cuts of classes.Comment. Math. Univ. Carolinae 29 (1988), 435-456. MR 0972828; reference:[K-Z 1989a] Kalina M., Zlatoš P.: Cuts of real classes.Comment. Math. Univ. Carolinae 30 (1989), 129-136. MR 0995711; reference:[K-Z1989b] Kalina M., Zlatoš P.: Borel Classes in AST. Measurability, cuts and equivalence.Comment. Math. Univ. Carolinae 30 (1989), 357-372. MR 1014135; reference:[L 1975] Loeb P. A.: Conversion from nonstandard to standard measure spaces and applications in probability theory.Trans. AMS 211, 113-122. Zbl 0312.28004, MR 0390154; reference:[R 1981] Raškovič M.: Measure and integration in the Alternative Set Theory.Publications de'l Institut Math. 29 (43), 191-197. MR 0657107; reference:[S 1988] Sochor A.: Addition of initial segments I.Comment. Math. Univ. Carolinae 29 (1988), 501-517. Zbl 0658.03030, MR 0972833; reference:[V] Vopěnka P.: Mathematics in the Alternative Set Theory.Teubner, Leipzig 1979. MR 0581368

الاتاحة: http://hdl.handle.net/10338.dmlcz/106910

المؤلفون: Čuda, Karel

مصطلحات موضوعية: msc:03E70, msc:03H15

وصف الملف: application/pdf

Relation: mr:MR0878623; zbl:Zbl 0624.03040

الاتاحة: http://hdl.handle.net/10338.dmlcz/142570

المؤلفون: Nieminen, Juhani

مصطلحات موضوعية: msc:03E70, msc:06A20, msc:06D05, msc:94-00, msc:94A15

وصف الملف: application/pdf

Relation: mr:MR0460195; zbl:Zbl 0366.94003; reference:[1] S. Matsushita: Ideals in non-commutative lattice.Proc. Japan Academy 34 (1958), 407-410. MR 0095134; reference:[2] M. Mizumoto K. Tanaka: Some properties of fuzzy sets of type 2.Information and Control 31 (1976), 312-340. MR 0449947; reference:[3] J. Nieminen: Ideals in distributive quasilattices.Studia Univ. Babes Bolyai, Mathematica 12 (1977), 6-11. MR 0437415; reference:[4] J. Plonka: On distributive quasilattices.Fundamenta Math. 60 (1967), 191-200. MR 0216990; reference:[5] L. Zadeh: Fuzzy sets.Information and Control 8 (1965), 338-353. Zbl 0139.24606, MR 0219427

الاتاحة: http://hdl.handle.net/10338.dmlcz/125064

المؤلفون: Mareš, Milan

مصطلحات موضوعية: msc:03E70, msc:94-00, msc:94A99

وصف الملف: application/pdf

Relation: mr:MR0453405; zbl:Zbl 0363.94006; reference:[1] L. A. Zadeh: Fuzzy Sets.Information and Control 8 (1965), 338-353. Zbl 0139.24606, MR 0219427; reference:[2] L. A. Zadeh: Fuzzy Algorithms.Information and Control 12 (1968), 94-102. Zbl 0182.33301, MR 0238629; reference:[3] N. Dunford J. T. Schwartz: Linear operators.Interscience Publishers, New York, 1958. MR 0117523; reference:[4] E. Hille R. S. Phillips: Functional Analysis and Semi-Groups.Providence, 1957. MR 0089373; reference:[5] P. R. Halmos: Measure Theory.D. van Nostrand Comp., New York-Toronto -London, 1950. Zbl 0040.16802, MR 0033869; reference:[6] L. Schwartz: Méthodes Mathématiques pour les Sciences Physiques.Hermann, Paris, 1961. Zbl 0101.41301, MR 0143360; reference:[7] C. V. Negoitá, D. A. Ralescu: Applications of Fuzzy Sets to System Analysis.Birhäuser Verlag - Edituria Technics, Stuttgart, 1975. MR 0490083; reference:[8] M. Mareš: On Fuzzy-Quantities with Real and Integer Values.Kybernetika 13 (1977), 1, 41-56. MR 0453406

الاتاحة: http://hdl.handle.net/10338.dmlcz/125111