Search

Your search keyword '"Rudeanu, Sergiu"' showing total 150 results
Start Over Author "Rudeanu, Sergiu"
150 results on '"Rudeanu, Sergiu"'

1. Equational spectrum of Hilbert varieties

Author

Padmanabhan, R. and Rudeanu, Sergiu

Abstract

Abstract: We prove that an equational class of Hilbert algebras cannot be defined by a single equation. In particular Hilbert algebras and implication algebras are not one-based. Also, we use a seminal theorem of Alfred Tarski in equational logic to characterize the set of cardinalities of all finite irredundant bases of the varieties of Hilbert algebras, implication algebras and commutative BCK algebras: all these varieties can be defined by independent bases of n elements, for each n > 1.

Published
2024
Full Text
View/download PDF

3. Post algebras

Author

Rudeanu, Sergiu, Bridges, Douglas S., editor, Calude, Cristian S., editor, and Rudeanu, Sergiu

Published
2001
Full Text
View/download PDF

9. Lattices

Author

Rudeanu, Sergiu, Bridges, Douglas S., editor, Calude, Cristian S., editor, and Rudeanu, Sergiu

Published
2001
Full Text
View/download PDF

11. Exotic equations

Author

Rudeanu, Sergiu, Bridges, Douglas S., editor, Calude, Cristian S., editor, and Rudeanu, Sergiu

Published
2001
Full Text
View/download PDF

12. Applications

Author

Rudeanu, Sergiu, Bridges, Douglas S., editor, Calude, Cristian S., editor, and Rudeanu, Sergiu

Published
2001
Full Text
View/download PDF

13. Miscellanea

Author

Rudeanu, Sergiu, Bridges, Douglas S., editor, Calude, Cristian S., editor, and Rudeanu, Sergiu

Published
2001
Full Text
View/download PDF

26. Various Applications

Author

Hammer, Peter L., Rudeanu, Sergiu, Beckmann, M., editor, Henn, R., editor, Jaeger, A., editor, Krelle, W., editor, Künzi, H. P., editor, Wenke, K., editor, Wolfe, Ph., editor, Hammer, Peter L., and Rudeanu, Sergiu

Published
1968
Full Text
View/download PDF

27. Integer Mathematical Programming

Author

Hammer, Peter L., Rudeanu, Sergiu, Beckmann, M., editor, Henn, R., editor, Jaeger, A., editor, Krelle, W., editor, Künzi, H. P., editor, Wenke, K., editor, Wolfe, Ph., editor, Hammer, Peter L., and Rudeanu, Sergiu

Published
1968
Full Text
View/download PDF

28. Minimization Problems in Automata Theory

Author

Hammer, Peter L., Rudeanu, Sergiu, Beckmann, M., editor, Henn, R., editor, Jaeger, A., editor, Krelle, W., editor, Künzi, H. P., editor, Wenke, K., editor, Wolfe, Ph., editor, Hammer, Peter L., and Rudeanu, Sergiu

Published
1968
Full Text
View/download PDF

30. Matchings of Bipartite Graphs

Author

Hammer, Peter L., Rudeanu, Sergiu, Beckmann, M., editor, Henn, R., editor, Jaeger, A., editor, Krelle, W., editor, Künzi, H. P., editor, Wenke, K., editor, Wolfe, Ph., editor, Hammer, Peter L., and Rudeanu, Sergiu

Published
1968
Full Text
View/download PDF

31. Boolean Algebra

Author

Hammer, Peter L., Rudeanu, Sergiu, Beckmann, M., editor, Henn, R., editor, Jaeger, A., editor, Krelle, W., editor, Künzi, H. P., editor, Wenke, K., editor, Wolfe, Ph., editor, Hammer, Peter L., and Rudeanu, Sergiu

Published
1968
Full Text
View/download PDF

32. Connectedness and Path Problems in Graphs

Author

Hammer, Peter L., Rudeanu, Sergiu, Beckmann, M., editor, Henn, R., editor, Jaeger, A., editor, Krelle, W., editor, Künzi, H. P., editor, Wenke, K., editor, Wolfe, Ph., editor, Hammer, Peter L., and Rudeanu, Sergiu

Published
1968
Full Text
View/download PDF

36. Boolean Equations

Author

Hammer, Peter L., Rudeanu, Sergiu, Beckmann, M., editor, Henn, R., editor, Jaeger, A., editor, Krelle, W., editor, Künzi, H. P., editor, Wenke, K., editor, Wolfe, Ph., editor, Hammer, Peter L., and Rudeanu, Sergiu

Published
1968
Full Text
View/download PDF

39. Extensions of Pseudo-Boolean Programming

Author

Hammer, Peter L., Rudeanu, Sergiu, Beckmann, M., editor, Henn, R., editor, Jaeger, A., editor, Krelle, W., editor, Künzi, H. P., editor, Wenke, K., editor, Wolfe, Ph., editor, Hammer, Peter L., and Rudeanu, Sergiu

Published
1968
Full Text
View/download PDF

45. Sets and Ordered Structures

Author

Rudeanu, Sergiu and Rudeanu, Sergiu

Subjects
Ordered sets, Set theory
Abstract

This e-book presents several basic methods and results of order theory that are currently used in various branches of mathematics. It presents topics that require a broad explanation in a concise and attractive way. Readers will easily identify problems/techniques/solutions without the frustration of long searches through previous notations, definitions and results. It begins with a sketch of axiomatic set theory and of the theory of categories. The fundamentals of the order relation are presented, including several properties equivalent to the axiom of choice, and culminating with well-ordered sets and transfinite numbers. This e-book also explains: (1) The complete existential theory of the various distinguished elements which a partially ordered set may possess, (2) The proof of the equivalence with the axiom of choice of 14 frequently used properties,(3) The fact that certain properties of ordinals are revealed as being just properties of well-ordered sets, and (4) The presentation of ordinals and cardinals both in axiomatic setting and following von Neumann's construction. Proofs are given in detail along with numerous examples and exercises illustrating the theory and demonstrating applications. Several classes of lattices, closure operators and Galois connections include tools which serve as prerequisites to universal algebra. Other topics include embeddings and topological duality for distributive lattices. The e-book serves both as a textbook for undergraduate and graduate students and as a reference book for mathematicians working in fields different from set theory or algebra, to whom it provides a quick access to basic facts from order theory.

Published
2012

46. Introduction

Author

Hammer, Peter L., Rudeanu, Sergiu, Beckmann, M., editor, Henn, R., editor, Jaeger, A., editor, Krelle, W., editor, Künzi, H. P., editor, Wenke, K., editor, Wolfe, Ph., editor, Hammer, Peter L., and Rudeanu, Sergiu

Published
1968
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results