Quelle  orders.dep   Sprache: unbekannt

/top,bounded_integers,non_empty_bounded_sets,total_lattices,minmax_orders,bounded_orders,relations_extra,lattices,lower_semilattices,bounded_sets,upper_semilattices,closure_ops,relation_iterate,indexed_sets_extra,complementary_lattices,function_image_extra,complementary_orders,complete_lattices,complete_lower_semilattices,complete_upper_semilattices,finite_orders,finite_types,finite_pointwise_orders,numbers_infinite,pointwise_orders,skolemization,well_foundedness,monotone_sequences,infinite_pigeonhole,integer_enumerations,finite_total_orders,fixed_points,new_mucalculus_prop,sets_complete_lattices,booleans_are_finite,bounded_nats,chain,chain_chain,converse_zorn,zorn,subset_chain,ordered_subset,finite_below,isomorphism,isomorphism_equivalence,isomorphism_symmetric,isomorphism_transitive,kuratowski,monotone_functions,order_strength,ordered_int,ordered_nat,range,range_real,set_antisymmetric,set_dichotomous,similarity,similarity_props,well_nat,well_ordered_finite,well_ordered_traversal,well_ordered_props,well_ordering,directed_orders,bounded_order_props,directed_order_props,partial_order_props,lift_props,lifted_orders,partial_order_lift,sum_orders,product_orders,mucalculus_prop
finite_sets/finite_sets_minmax,finite_sets_inductions
top:bounded_integers,bounded_orders,bounded_sets,closure_ops,complementary_lattices,complementary_orders,complete_lattices,complete_lower_semilattices,complete_upper_semilattices,finite_orders,finite_pointwise_orders,finite_total_orders,fixed_points,integer_enumerations,lattices,lower_semilattices,minmax_orders,monotone_sequences,new_mucalculus_prop,non_empty_bounded_sets,pointwise_orders,sets_complete_lattices,total_lattices,upper_semilattices,well_foundedness,bounded_nats,chain,chain_chain,converse_zorn,finite_below,isomorphism,isomorphism_equivalence,isomorphism_symmetric,isomorphism_transitive,kuratowski,monotone_functions,numbers_infinite,order_strength,ordered_int,ordered_nat,ordered_subset,range,range_real,set_antisymmetric,set_dichotomous,similarity,similarity_props,subset_chain,well_nat,well_ordered_finite,well_ordered_props,well_ordered_traversal,well_ordering,zorn,booleans_are_finite,finite_types,function_image_extra,indexed_sets_extra,infinite_pigeonhole,relation_iterate,relations_extra,skolemization,directed_orders,bounded_order_props,directed_order_props,partial_order_props,lift_props,lifted_orders,partial_order_lift,sum_orders,product_orders,mucalculus_prop
bounded_integers:non_empty_bounded_sets
non_empty_bounded_sets:total_lattices
total_lattices:minmax_orders,lattices
minmax_orders:bounded_orders,finite_sets@finite_sets_minmax
bounded_orders:relations_extra
relations_extra:
lattices:bounded_orders,lower_semilattices,upper_semilattices
lower_semilattices:bounded_orders,bounded_sets
bounded_sets:bounded_orders
upper_semilattices:bounded_orders,bounded_sets
closure_ops:relation_iterate,indexed_sets_extra
relation_iterate:relations_extra
indexed_sets_extra:
complementary_lattices:bounded_orders,lattices,minmax_orders,function_image_extra,complementary_orders
function_image_extra:
complementary_orders:bounded_orders
complete_lattices:bounded_orders,complete_lower_semilattices,complete_upper_semilattices
complete_lower_semilattices:bounded_orders,lower_semilattices
complete_upper_semilattices:bounded_orders,upper_semilattices
finite_orders:bounded_orders,finite_types
finite_types:
finite_pointwise_orders:numbers_infinite,pointwise_orders,well_foundedness,infinite_pigeonhole,integer_enumerations
numbers_infinite:
pointwise_orders:bounded_orders,skolemization,closure_ops
skolemization:
well_foundedness:monotone_sequences,skolemization,closure_ops
monotone_sequences:closure_ops
infinite_pigeonhole:
integer_enumerations:bounded_integers
finite_total_orders:finite_orders,total_lattices
fixed_points:minmax_orders
new_mucalculus_prop:fixed_points,sets_complete_lattices,complementary_lattices
sets_complete_lattices:booleans_are_finite,pointwise_orders,complete_lattices
booleans_are_finite:finite_types,finite_total_orders
bounded_nats:bounded_integers
chain:
chain_chain:bounded_orders,chain
converse_zorn:minmax_orders,chain,zorn
zorn:chain_chain,subset_chain,ordered_subset,minmax_orders
subset_chain:chain
ordered_subset:closure_ops
finite_below:closure_ops,minmax_orders
isomorphism:relations_extra
isomorphism_equivalence:isomorphism
isomorphism_symmetric:isomorphism
isomorphism_transitive:isomorphism
kuratowski:chain_chain,zorn
monotone_functions:closure_ops
order_strength:
ordered_int:minmax_orders,ordered_subset
ordered_nat:ordered_subset,bounded_nats
range:minmax_orders
range_real:range,numbers_infinite
set_antisymmetric:
set_dichotomous:zorn
similarity:isomorphism
similarity_props:minmax_orders,similarity,finite_below
well_nat:minmax_orders
well_ordered_finite:ordered_subset,well_ordered_traversal
well_ordered_traversal:ordered_subset,minmax_orders
well_ordered_props:ordered_subset,monotone_functions,isomorphism
well_ordering:bounded_orders,zorn
directed_orders:relations_extra,bounded_orders,chain,ordered_subset,minmax_orders
bounded_order_props:bounded_orders
directed_order_props:directed_orders,partial_order_props,bounded_order_props
partial_order_props:
lift_props:
lifted_orders:lift_props,directed_orders
partial_order_lift:lift_props,directed_orders
sum_orders:directed_orders
product_orders:directed_orders
mucalculus_prop: