On some categories of structured sets. (English) Zbl 1540.18002
Reviewer: Jose Avila (Cali)
Found 15 Documents (Results 1–15)
Idempotent completions of \(n\)-exangulated categories. (English) Zbl 1535.18016
Reviewer: Xiao-Wu Chen (Hefei)
On Cantor’s theory of transfinite numbers, 1874 to 1940. (Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940.) (Spanish) Zbl 1482.01006
A comparative study of Tarski’s fixed point theorems with the stress on commutative sets of \(\mathbf{L}\)-fuzzy isotone maps with respect to transitivities. (English) Zbl 1465.06004
Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall. (English) Zbl 1437.03132
Broglia, Fabrizio (ed.) et al., Ordered algebraic structures and related topics. International conference at CIRM, Luminy, France, October 12–16, 2015. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 697, 265-290 (2017).
On fuzzification of Tarski’s fixed point theorem without transitivity. (English) Zbl 1383.06002
Reviewer: Yuri Movsisyan (Yerevan)
Categoricity results for second-order ZF in dependent type theory. (English) Zbl 1468.03012
Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 304-318 (2017).
A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach. (English) Zbl 1417.03185
Partitioning Kripke frames of finite height. (English. Russian original) Zbl 1371.03025
Izv. Math. 81, No. 3, 592-617 (2017); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 81, No. 3, 134-159 (2017).
Reviewer: Can Baskent (Bath)
MSC:
03B45
Common coupled fixed point results for operators without mixed monotone type properties and application to nonlinear integral equations. (English) Zbl 1447.47046
Reviewer: Adrian Petruşel (Cluj-Napoca)
The modal logic of forcing. (English) Zbl 1139.03039
Reviewer: Siegfried J. Gottwald (Leipzig)
Filter Results by …
Document Type
- Journal Articles (13)
- Collection Articles (2)
all
top 5
Author
- Pátíková, Zuzana (2)
- Včelař, František (2)
- Akiba, Ken (1)
- Barton, Neil (1)
- Chiaselotti, Giampiero (1)
- Fritz, Peter (1)
- Gentile, Tommaso (1)
- Hamkins, Joel David (1)
- Infusino, Federico G. (1)
- Kirst, Dominik (1)
- Klapproth, Carlo (1)
- Kudinov, Andreĭ Valer’evich (1)
- Lederman, Harvey (1)
- Liu, Tiankai (1)
- Löwe, Benedikt (1)
- Machrafi, Nabil (1)
- Mańka, Roman (1)
- Mantova, Vincenzo (1)
- Matusinski, Mickaël (1)
- Meza-Alcántara, David (1)
- Msapato, Dixy (1)
- Scott, Dana Stewart (1)
- Shah, Amit (1)
- Shapirovsky, Ilya B. (1)
- Smolka, Gert (1)
- Torres Alcaraz, Carlos (1)
- Uzquiano, Gabriel (1)
Biographic Reference
- Cantor, Georg (1)
- Marshall, Murray Angus (1)
Software
- Coq (1)
