Bohuslav Balcar - Concepedia

Author

Bohuslav Balcar

Czech Academy of Sciences, Institute of Mathematics

Also Known As

B Balcar, B. BALCAR, B. Balcar, Balcar Bohuslav, Balcar, B., Balcar, Bohuslav, Bohuslav Balcar

Publications

636

Citations

H-Index

Concepts

All Affiliations

Czech Academy of Sciences, Institute of Mathematics University of Gdańsk

About

Bohuslav Balcar is an author at Czech Academy of Sciences, Institute of Mathematics specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Automated Reasoning	7	7	196
2	Engineering	3	3	85
3	Discrete Mathematics	2	2	66
4	Mathematical Foundations	1	1	27
5	Circuit Complexity	1	1	43

Bohuslav Balcar

Publications

527

Citations

H-Index

Page 1

	Year	Citations
The space of ultrafilters on N covered by nowhere dense sets Bohuslav Balcar, Jan Pelant, Petr Šimon Fundamenta Mathematicae Nowhere Dense SetsExtremal Set TheorySet-theoretic Topology	1980	136
Independent families in complete Boolean algebras Bohuslav Balcar, František Franěk Transactions of the American Mathematical Society Algebraic LogicBoolean FunctionAutomated ReasoningAnnotation Encoding=Independent Families	1982	59
Combinatorics of dense subsets of the rationals Bohuslav Balcar, Fernando Hernández‐Hernández, Michael Hrušák Fundamenta Mathematicae Geometry Of NumberDense SubsetsOrder TheoryExtremal Set Theory\Bbb Q	2004	53
COMPLETE CCC BOOLEAN ALGEBRAS, THE ORDER SEQUENTIAL TOPOLOGY, AND A PROBLEM OF VON NEUMANN Bohuslav Balcar, Thomas Jech, Tomáš Pazák Bulletin of the London Mathematical Society Circuit ComplexityAlgebraic LogicEngineeringBoolean FunctionAlgebraic Convergence	2005	43
Refinement properties and extensions of filters in Boolean algebras Bohuslav Balcar, Petr Šimon, Peter Vojtáš Transactions of the American Mathematical Society Math XmlnsAlgebraic LogicEngineeringBoolean FunctionBoolean Algebra	1981	31
Weak Distributivity, A Problem of Von Neumann and the Mystery of Measurability Bohuslav Balcar, Thomas Jech Bulletin of Symbolic Logic Weak DistributivityComplete Boolean AlgebrasExtremal Set TheoryVon NeumannA Problem	2006	27
On minimal π-character of points in extremally disconnected compact spaces Bohuslav Balcar, Petr Šimon Topology and its Applications Topological PropertySet-theoretic TopologyFunctional AnalysisMinimal π-Character	1991	26
Almost disjoint refinement of families of subsets of 𝑁 Bohuslav Balcar, Peter Vojtáš Proceedings of the American Mathematical Society Uniform UltrafilterDisjoint RefinementExtremal Set TheorySet-theoretic TopologyFoundation Of Mathematics	1980	24
The sequential topology on complete Boolean algebras Wiesław Główczyński, Bohuslav Balcar, Thomas Jech Fundamenta Mathematicae Algebraic LogicBoolean FunctionAutomated ReasoningSequential TopologyTopological Algebra	1998	23
Semi-Cohen Boolean algebras Bohuslav Balcar, Thomas Jech, Jindřich Zapletal Annals of Pure and Applied Logic Algebraic LogicSemi-cohen Boolean AlgebrasBoolean FunctionAutomated ReasoningUniversal Algebra	1997	16

Page 1