Found 9 Documents (Results 1–9)
Hintikka’s independence-friendly logic meets Nelson’s realizability. (English) Zbl 1478.03056
Reviewer: Wenyan Xu (Xi’an)
MSC:
03B60
Reconstructing the topology of the elementary self-embedding monoids of countable saturated structures. (English) Zbl 1437.03121
Private announcements on topological spaces. (English) Zbl 1437.03076
MSC:
03B42
Two kinds of consequential implication. (English) Zbl 1437.03092
MSC:
03B45
Filter Results by …
all
top 5
Author
- Braüner, Torben (1)
- Childers, Timothy (1)
- Chlebowski, Szymon (1)
- Fischer, Martin (1)
- Gratzl, Norbert (1)
- Knight, Sophia (1)
- Liang, Fei (1)
- Ma, Minghui (1)
- Majer, Ondrej (1)
- Odintsov, Sergei P. (1)
- Özgün, Aybüke (1)
- Pech, Christian (1)
- Pech, Maja (1)
- Pizzi, Claudio Ercole Antonio (1)
- Shevchenko, Igor’ Yur’evich (1)
- Speranski, Stanislav O. (1)
- van Ditmarsch, Hans Pieter (1)
Software
- Pesca (2)