×

Found 86 Documents (Results 1–86)

Newest Citations Relevance
Peretyat’kin, Mikhail G.

The Tarski-Lindenbaum algebra of the class of all strongly constructivizable countable saturated models. (English) Zbl 1433.03086

Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7921, 342-352 (2013).
MSC:  03C57 03D45 03C15 03C50 03G05
PDF BibTeX XML Cite
\textit{M. G. Peretyat'kin}, Lect. Notes Comput. Sci. 7921, 342--352 (2013; Zbl 1433.03086)
Full Text: DOI
van Gool, Sam

Constructing the Lindenbaum algebra for a logic step-by-step using duality. (English) Zbl 1298.03067

De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 55-66 (2012).
MSC:  03B45 03G25 06E25
PDF BibTeX XML Cite
\textit{S. van Gool}, IfColog Proc. 2, 55--66 (2012; Zbl 1298.03067)
Cicalese, F.; Mundici, D.; Vaccaro, U.

Rota-Metropolis cubic logic and Ulam-Rényi games. (English) Zbl 0978.03045

Crapo, H. (ed.) et al., Algebraic combinatorics and computer science. A tribute to Gian-Carlo Rota. Milano: Springer. 197-244 (2001).
Reviewer: Albert A.Mullin (Madison)
MSC:  03G25 91A46 94B99 05A99 94A15 94A05 91A20 03B50
PDF BibTeX XML Cite
\textit{F. Cicalese} et al., in: Algebraic combinatorics and computer science. A tribute to Gian-Carlo Rota. Milano: Springer. 197--244 (2001; Zbl 0978.03045)
Peretyat’kin, Mikhail

Finitely axiomatizable theories and Lindenbaum algebras of semantic classes. (English) Zbl 0968.03039

Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 221-239 (2000).
Reviewer: Andrei S.Morozov (Novosibirsk)
MSC:  03C57 03D45 03D55 03G05 03B10
PDF BibTeX XML Cite
\textit{M. Peretyat'kin}, Contemp. Math. 257, 221--239 (2000; Zbl 0968.03039)
Wasilewska, Anita

Topological rough algebras. (English) Zbl 0860.03042

Lin, T. Y. (ed.) et al., Rough sets and data mining: analysis of imprecise data. Selected papers presented at a workshop of the 1995 ACM computer science conference, CSC ’95. Boston, MA: Kluwer Academic Publishers. 411-425 (1997).
MSC:  03G25 68T27
PDF BibTeX XML Cite
\textit{A. Wasilewska}, in: Rough sets and data mining: analysis of imprecise data. Selected papers presented at a workshop of the 1995 ACM computer science conference, CSC '95. Boston, MA: Kluwer Academic Publishers. 411--425 (1997; Zbl 0860.03042)
Beklemishev, Lev

Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). (English) Zbl 0855.03038

Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 317-325 (1996).
MSC:  03G25 03F30 06E25 03B45
PDF BibTeX XML Cite
\textit{L. Beklemishev}, Lect. Notes Pure Appl. Math. 180, 317--325 (1996; Zbl 0855.03038)
Monk, J. Donald (ed.); Bonnet, Robert (ed.)
[Koppelberg, Sabine; Jech, T.; Balcar, B.; Simon, P.; van Douwen, Eric K.; Rubin, M.; Štěpánek, P.; Bekkali, M.; Roitman, J.; Pierce, R. S.; Fremlin, D. H.; Weese, M.; Remmel, J. B.; Myers, D.]

Handbook of Boolean algebras. Volumes 1-3. Ed. with the cooperation of Robert Bonnet. (English) Zbl 0671.06001

Amsterdam etc.: North-Holland. xix, 1367 p./set. $ 309.75/set; Dfl. 635.00/set (1989).
Reviewer: J.Roitman
MSC:  06-02 03-02 06Exx 03G05 03E99 06-01 03-01
PDF BibTeX XML Cite
\textit{J. D. Monk} (ed.) and \textit{R. Bonnet} (ed.), Handbook of Boolean algebras. Volumes 1-3. Ed. with the cooperation of Robert Bonnet. Amsterdam etc.: North-Holland (1989; Zbl 0671.06001)

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field