Lattice of Substitutions

by Adam Grabowski Warsaw , Adam Grabowski , U Set (u

@MISC{Warsaw_latticeof,
    author = {Adam Grabowski Warsaw and Adam Grabowski and U Set (u},
    title = {Lattice of Substitutions},
    year = {}
}

this paper. 1. Preliminaries

1274	Tarski Grothendieck set theory - Trybulec - 1989
1237	Functions and their basic properties - Byliński - 1989
1164	Properties of subsets - Trybulec - 1989
991	Functions from a set to a set - Byliński - 1989
971	Relations and their basic properties - Woronowicz - 1989
709	Some basic properties of sets - Byliński - 1989
441	Relations defined on sets - Woronowicz - 1990
413	Partial functions - Byliński - 1990
325	Binary operations - Byliński - 1989
285	Domains and their Cartesian products - Trybulec - 1990
242	The modification of a function by a function and the iteration of the composition of a function - Byliński - 1990
208	Finite sets - Darmochwa̷l - 1990
110	Properties of binary relations - Woronowicz, Zalewska - 1989
68	Introduction to lattice theory - ˙Zukowski - 1989
2	Algebra of normal forms - Trybulec - 1990