Found 114 Documents (Results 1–100)
Pcf without choice Sh835. (English) Zbl 07874618
Varieties of truth definitions. (English) Zbl 07874615
Reviewer: Roman Kossak (New York)
Compositional truth with propositional tautologies and quantifier-free correctness. (English) Zbl 1537.03091
Reviewer: Roman Kossak (New York)
Semi-honest subrecursive degrees and the collection rule in arithmetic. (English) Zbl 1537.03086
Reviewer: Roman Murawski (Poznań)
Turing degrees and randomness for continuous measures. (English) Zbl 1537.03050
Reviewer: Liang Yu (Nanjing)
Glivenko sequent classes and constructive cut elimination in geometric logics. (English) Zbl 07691802
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning. (English) Zbl 07557505
Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \). (English) Zbl 1506.03120
Reviewer: Annika Kanckos (Helsinki)
Combinatory logic with polymorphic types. (English) Zbl 07541615
MSC:
03B40
Towers and clubs. (English) Zbl 1535.03235
MSC:
03E05
Tree-like constructions in topology and modal logic. (English) Zbl 1500.03005
Reviewer: Jorge Picado (Coimbra)
Logics of left variable inclusion and Płonka sums of matrices. (English) Zbl 1491.03088
Reviewer: Alex Citkin (Warren)
Classifying material implications over minimal logic. (English) Zbl 1466.03004
Reviewer: Gemma Robles (León)
Tanaka’s theorem revisited. (English) Zbl 1461.03055
Reviewer: Roman Kossak (New York)
End extensions of models of fragments of \(\mathrm{PA}\). (English) Zbl 1459.03048
Reviewer: Roman Kossak (New York)
Uniform Lyndon interpolation property in propositional modal logics. (English) Zbl 1462.03013
Reviewer: Osamu Sonobe (Follonica)
Truth, disjunction, and induction. (English) Zbl 1477.03250
MSC:
03F30
A Kuroda-style \(j\)-translation. (English) Zbl 1450.03003
Reviewer: Jaime Gaspar (Kent)
An extension of Shelah’s trichotomy theorem. (English) Zbl 1405.03080
Reviewer: Santi Spadaro (Catania)
MSC:
03E04
On partial disjunction properties of theories containing Peano arithmetic. (English) Zbl 1446.03102
Reviewer: Saeed Salehi (Tabriz)
Splitting idempotents in a fibered setting. (English) Zbl 1404.18001
Reviewer: Hirokazu Nishimura (Tsukuba)
Model theory of finite and pseudofinite groups. (English) Zbl 1388.03037
Reviewer: Gianluca Paolini (Givat Ram)
Largest initial segments pointwise fixed by automorphisms of models of set theory. (English) Zbl 1477.03152
The nonstationary ideal on \(P_\kappa (\lambda )\) for \(\lambda \) singular. (English) Zbl 1417.03250
Adding many Baumgartner clubs. (English) Zbl 1417.03246
Structural completeness in propositional logics of dependence. (English) Zbl 1358.03037
Reviewer: Alex Citkin (Warren)
Restrictions on forcings that change cofinalities. (English) Zbl 1341.03074
Reviewer: Mohammad Golshani (Tehran)
Simple proofs of SCH from reflection principles without using better scales. (English) Zbl 1354.03072
A new proof of Ajtai’s completeness theorem for nonstandard finite structures. (English) Zbl 1345.03118
Reviewer: Roman Kossak (New York)
Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length. (English) Zbl 1375.03055
MSC:
03E05
The de Jongh property for basic arithmetic. (English) Zbl 1435.03087
MSC:
03F30
On idealized versions of \(\mathrm{Pr}_1(\mu^+,\mu^+,\mu^+,\mathrm{cf}(\mu))\). (English) Zbl 1339.03035
Admissibility and refutation: some characterisations of intermediate logics. (English) Zbl 1338.03050
Good and bad points in scales. (English) Zbl 1339.03039
Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. (English) Zbl 1327.03046
Reviewer: Peter M. Schuster (Verona)
Subsets coded in elementary end extensions. (English) Zbl 1298.03099
Reviewer: Roman Kossak (New York)
Strict process machine complexity. (English) Zbl 1304.68087
Reviewer: Liang Yu (Nanjing)
On axiom schemes for \(T\)-provably \(\Delta_1\) formulas. (English) Zbl 1303.03088
Reviewer: Roman Kossak (New York)
Polynomial clone reducibility. (English) Zbl 1303.03075
Reviewer: Liang Yu (Nanjing)
Labeled sequent calculi for modal logics and implicit contractions. (English) Zbl 1303.03053
Reviewer: Branislav Boričić (Beograd)
Traces, traceability, and lattices of traces under the set theoretic inclusion. (English) Zbl 1287.03091
Reviewer: Merlin Carl (Konstanz)
MSC:
03D25
A decidable theory of type assignment. (English) Zbl 1303.03036
Reviewer: Martin W. Bunder (Wollongong)
The automorphism group of a resplendent model. (English) Zbl 1251.03039
Reviewer: Roman Kossak (New York)
Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP. (English) Zbl 1257.03044
Reviewer: Bernhard Heinemann (Hagen)
MSC:
03B45
Amalgamation through quantifier elimination for varieties of commutative residuated lattices. (English) Zbl 1245.03110
Reviewer: Jānis Cīrulis (Riga)
A note on admissible rules and the disjunction property in intermediate logics. (English) Zbl 1248.03047
Proof analysis in intermediate logics. (English) Zbl 1241.03068
Reviewer: G. E. Mints (Stanford)
Connected modal logics. (English) Zbl 1241.03018
Reviewer: Branislav Boričić (Beograd)
On the contrapositive of countable choice. (English) Zbl 1218.03034
Reviewer: Valery Plisko (Moskva)
Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA. (English) Zbl 1201.03054
Reviewer: Roman Murawski (Poznań)
The modal logic of \({\beta(\mathbb{N})}\). (English) Zbl 1169.03018
Reviewer: G. E. Mints (Stanford)
The elementary diagram of a trivial, weakly minimal structure is near model complete. (English) Zbl 1162.03018
Harrington’s conservation theorem redone. (English) Zbl 1160.03039
Reviewer: M. Yasuhara (Princeton)
Applications of the topological representation of the pcf-structure. (English) Zbl 1153.03025
Reviewer: T. Thrivikraman (Nileshwar)
Model theory of the regularity and reflection schemes. (English) Zbl 1149.03026
Reviewer: Roman Kossak (New York)
Normal subgroups of nonstandard symmetric and alternating groups. (English) Zbl 1114.03054
Reviewer: German Pestov (Tomsk)
Complexity of admissible rules. (English) Zbl 1115.03010
Reviewer: G. E. Mints (Stanford)
Model completeness for trivial, uncountably categorical theories of Morley rank \(1\). (English) Zbl 1111.03035
Reviewer: S. R. Kogalovskij (Ivanovo)
Well-foundedness in realizability. (English) Zbl 1112.03058
Reviewer: Peter T. Johnstone (Cambridge)
Weakly implicative (fuzzy) logics. I: Basic properties. (English) Zbl 1101.03015
Reviewer: Dana Piciu (Craiova)
Strong continuity implies uniform sequential continuity. (English) Zbl 1088.03048
Reviewer: Bas Spitters (Nijmegen)
Successors of singular cardinals and coloring theorems. I. (English) Zbl 1085.03035
Reviewer: Péter Komjáth (Budapest)
MSC:
03E05
Filter Results by …
all
top 5
Author
- Shelah, Saharon (7)
- Enayat, Ali (6)
- Bezhanishvili, Guram (5)
- Matet, Pierre (5)
- Eisworth, Todd (3)
- Laskowski, Michael Chris (3)
- Schmerl, James H. (3)
- Stirton, William R. (3)
- Bridges, Douglas Suth (2)
- Cintula, Petr (2)
- Cordón-Franco, Andrés (2)
- Ishihara, Hajime (2)
- Kaufmann, Matt (2)
- Kaye, Richard W. (2)
- Kojman, Menachem (2)
- Kurahashi, Taishi (2)
- Lara-Martín, Francisco Felix (2)
- Łełyk, Mateusz Zbigniew (2)
- Lucero-Bryan, Joel Gregory (2)
- Marker, David E. (2)
- McKenzie, Zachiri (2)
- Negri, Sara (2)
- Pillay, Anand (2)
- Rinot, Assaf (2)
- Schuster, Peter Michael (2)
- Wcisło, Bartosz (2)
- Ahmed, Shehzad (1)
- Allsup, John (1)
- Ardeshir, Mohammad (1)
- Asperó, David (1)
- Bahrami, Saeideh (1)
- Baratella, Stefano (1)
- Beros, Achilles A. (1)
- Bezhanishvili, Nick (1)
- Bonzio, Stefano (1)
- Braunfeld, Samuel (1)
- Buss, Samuel R. (1)
- Cieśliński, Cezary (1)
- Citkin, Alexander (1)
- Clote, Peter G. (1)
- Culver, Quinn (1)
- Di Nola, Antonio (1)
- Diener, Hannes (1)
- Dolich, Alf (1)
- Dolich, Alfred (1)
- Du, Jin (1)
- Dyckhoff, Roy (1)
- Fellin, Giulio (1)
- Fernández Margarit, Alejandro (1)
- Ferreira, Fernando (1)
- Ferreira, Gilda (1)
- Gabelaia, David (1)
- Garlík, Michal (1)
- Ghadernezhad, Zaniar (1)
- Göral, Haydar (1)
- Goudsmit, Jeroen P. (1)
- Grigolia, Revaz (1)
- Gruza, Piotr (1)
- Harding, John (1)
- Hayut, Yair (1)
- Hofmann, Martin (1)
- Iemhoff, Rosalie (1)
- Jeřábek, Emil (1)
- Joosten, Joost J. (1)
- Kamsma, Mark (1)
- Karagila, Asaf (1)
- Kihara, Takayuki (1)
- Kim, Byunghan (1)
- Knight, Julia F. (1)
- Komara, Ján (1)
- Krivtsov, Victor N. (1)
- Kuyper, Rutger (1)
- Lambie-Hanson, Chris (1)
- Lange, Karen (1)
- Li, Mingyang (1)
- Li, Qingguo (1)
- Low, Lee Fong (1)
- Macpherson, Dugald (1)
- Mainhardt, Gunther (1)
- Marchioni, Enrico (1)
- Masini, Andrea (1)
- McCarthy, Ethan (1)
- McKubre-Jordens, Maarten (1)
- Mennuni, Rosario (1)
- Minari, Pierluigi (1)
- Miyabe, Kenshi (1)
- Mohsenipour, Shahram (1)
- Mojtahedi, S. Mojtaba (1)
- Montagna, Franco (1)
- Morandi, Patrick J. (1)
- Moraschini, Tommaso (1)
- Orlandelli, Eugenio (1)
- Pagnan, Ruggero (1)
- Pakhomov, Fedor N. (1)
- Péan, Cédric (1)
- Pereira, Luis Miguel (1)
- Pierce, David Austin (1)
- Pra Baldi, Michele (1)
- Raichev, Alexander (1)
- Rothmaler, Philipp (1)
- and 26 more Authors
all
top 5
Volume
- 63, No. 5-6 (2024) (3)
- 63, No. 3-4 (2024) (1)
- 63, No. 1-2 (2024) (3)
- 62, No. 5-6 (2023) (2)
- 62, No. 1-2 (2023) (2)
- 61, No. 7-8 (2022) (1)
- 61, No. 5-6 (2022) (2)
- 61, No. 3-4 (2022) (2)
- 61, No. 1-2 (2022) (1)
- 60, No. 7-8 (2021) (1)
- 60, No. 6 (2021) (2)
- 60, No. 3-4 (2021) (1)
- 60, No. 1-2 (2021) (1)
- 59, No. 7-8 (2020) (4)
- 59, No. 5-6 (2020) (1)
- 59, No. 1-2 (2020) (1)
- 58, No. 5-6 (2019) (2)
- 58, No. 3-4 (2019) (1)
- 58, No. 1-2 (2019) (1)
- 57, No. 7-8 (2018) (2)
- 57, No. 5-6 (2018) (1)
- 57, No. 3-4 (2018) (2)
- 57, No. 1-2 (2018) (4)
- 56, No. 7-8 (2017) (3)
- 56, No. 5-6 (2017) (2)
- 56, No. 1-2 (2017) (1)
- 55, No. 7-8 (2016) (1)
- 55, No. 5-6 (2016) (2)
- 55, No. 3-4 (2016) (1)
- 55, No. 1-2 (2016) (1)
- 54, No. 5-6 (2015) (3)
- 54, No. 3-4 (2015) (4)
- 53, No. 7-8 (2014) (5)
- 53, No. 5-6 (2014) (3)
- 53, No. 3-4 (2014) (1)
- 53, No. 1-2 (2014) (1)
- 52, No. 7-8 (2013) (3)
- 52, No. 5-6 (2013) (1)
- 51, No. 5-6 (2012) (4)
- 51, No. 3-4 (2012) (1)
- 51, No. 1-2 (2012) (3)
- 50, No. 3-4 (2011) (1)
- 50, No. 1-2 (2011) (1)
- 49, No. 7-8 (2010) (1)
- 49, No. 3 (2010) (1)
- 48, No. 5 (2009) (1)
- 48, No. 3-4 (2009) (1)
- 48, No. 1 (2009) (1)
- 47, No. 5 (2008) (3)
- 47, No. 2 (2008) (1)
- 46, No. 5-6 (2007) (1)
- 46, No. 2 (2007) (2)
- 45, No. 8 (2006) (1)
- 45, No. 7 (2006) (1)
- 45, No. 6 (2006) (1)
- 44, No. 7 (2005) (1)
- 44, No. 5 (2005) (1)
- 43, No. 8 (2004) (1)
- 35, No. 4 (1996) (1)
- 35, No. 2 (1996) (1)
- 35, No. 1 (1996) (1)
- 34, No. 5 (1995) (1)
- 34, No. 4 (1995) (1)
- 32, No. 6 (1993) (1)
- 32, No. 3 (1993) (1)
- 31, No. 6 (1992) (1)
- 30, No. 5-6 (1991) (1)
- 30, No. 3 (1990) (1)
- 30, No. 2 (1990) (2)
- 27, No. 2 (1988) (1)