O aplikacích matematické logiky na matematiku
O desátém Hilbertově problému
O druhém Hilbertově problému (Otázka bezespornosti aritmetiky)
O důkazech a pokroku v matematice
O dynamické logice
O idealismu v matematice
O intuicionismu
O matematické logice
O některých problémech souvisících s kardinální aritmetikou
O některých základních otázkách matematické logiky
O prvním Hilbertově problému (Hypotéza kontinua a axióm výběru)
O riešení niektorých nerozhodnutelných topologických problémov
O struktuře modelů omezené -indukce
O zacházení s matematikou
Object-Free Definition of Categories
Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. In this article is proposed a new definition of an object-free category, introducing the two properties:...
Objects in relational database schemes with functional, inclusion, and exclusion dependencies
Objets algébriquement clos et injectifs dans les catégories localement présentables
Observables on -MV algebras and -lattice effect algebras
Effect algebras were introduced as abstract models of the set of quantum effects which represent sharp and unsharp properties of physical systems and play a basic role in the foundations of quantum mechanics. In the present paper, observables on lattice ordered -effect algebras and their “smearings” with respect to (weak) Markov kernels are studied. It is shown that the range of any observable is contained in a block, which is a -MV algebra, and every observable is defined by a smearing of a sharp...
Observation Space And Observables In Classical Mechanics
Observation space and observables in classical mechanics.