On Equivalents of Well-foundedness -- An experiment in Mizar (1998)

Cached

Download Links

by Piotr Rudnicki , Andrzej Trybulec
Citations:13 - 3 self

Active Bibliography

Journal Of Formalized Mathematics – Volume Released Published, Jarosław Kotowicz
14 Standard Ordering of Instruction Locations – Andrzej Trybulec, Piotr Rudnicki, Artur Korniłowicz - 2000
6 On ordering of bags – Gilbert Lee, Piotr Rudnicki
On the Baire Category Theorem – Artur Korniłowicz - 1997
4 On the Composition of Macro Instructions of Standard Computers – Artur Kornilowicz, S Holds - 2000
2 The Construction of SCM over Ring – Artur Kornilowicz - 1998
3 Categorial background for duality theory – Grzegorz Bancerek
86 Boolean posets, posets under inclusion and products of relational structures – Adam Grabowski, Robert Milewski - 1996
3 Inverse Limits of Many Sorted Algebras – Adam Grabowski - 1999
A Mathematical Model of CPU – Yatsuka Nakamura, Andrzej Trybulec - 1992
250 Basis of Real Linear Space – Wojciech Trybulec - 1990
1 Some Properties of Isomorphism between Relational Structures. On the Product of Topological Spaces – Jaroslaw Gryko , Artur Kornilowicz - 2002
Combinatorial Grassmannians – Andrzej Owsiejczuk - 2007
The Jordan-Hölder Theorem – Marco Riccardi
2 The Sylow Theorems – Marco Riccardi
90 Combining of Circuits – Yatsuka Nakamura, Grzegorz Bancerek - 2002
Recognizing Chordal Graphs: Lex BFS and MCS – Broderick Arneson, Piotr Rudnicki - 2006
1 Finite Topological Spaces – Hiroshi Imura, Masayoshi Eguchi - 2002
2 Pocklington’s Theorem and Bertrand’s Postulate – Marco Riccardi