On the logic of theory change: partial meet contraction and revision functions. Zbl 0578.03011
Alchourrón, Carlos E.; Gärdenfors, Peter; Makinson, David |
|
1985
|
The relative efficiency of propositional proof systems. Zbl 0408.03044
Cook, Stephen A.; Reckhow, Robert A. |
|
1979
|
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick |
|
1959
|
A formulation of the simple theory of types. JFM 66.1192.06
Church, A. |
|
1940
|
Some theorems about the sequential calculi of Lewis and Heyting. Zbl 0037.29409
McKinsey, J. C. C.; Tarski, Alfred |
|
1948
|
Completeness in the theory of types. Zbl 0039.00801
Henkin, Leon |
|
1950
|
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. Zbl 0079.24502
Craig, William |
|
1957
|
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola |
|
1983
|
Constructible falsity. Zbl 0033.24304
Nelson, David |
|
1949
|
Intensional interpretations of functionals of finite type. I. Zbl 0174.01202
Tait, W. W. |
|
1967
|
A formulation of the simple theory of types. Zbl 0023.28901
Church, Alonzo |
|
1940
|
On notation for ordinal numbers. Zbl 0020.33803
Kleene, S. C. |
|
1938
|
On the calculus of relations. JFM 67.0973.02
Tarski, A. |
|
1941
|
A completeness theorem in modal logic. Zbl 0091.00902
Kripke, Saul A. |
|
1959
|
A propositional calculus with denumerable matrix. Zbl 0089.24307
Dummett, Michael |
|
1959
|
Flag algebras. Zbl 1146.03013
Razborov, Alexander A. |
|
2007
|
Quantales and (noncommutative) linear logic. Zbl 0701.03026
Yetter, David N. |
|
1990
|
Probabilities on finite models. Zbl 0341.02044
Fagin, Ronald |
|
1976
|
Recursive unsolvability of a problem of Thue. Zbl 1263.03030
Post, Emil L. |
|
1947
|
A Borel reducibility theory for classes of countable structures. Zbl 0692.03022
Friedman, Harvey; Stanley, Lee |
|
1989
|
Definability and decision problems in arithmetic. Zbl 0034.00801
Robinson, Julia |
|
1949
|
Lower bounds for resolution and cutting plane proofs and monotone computations. Zbl 0945.03086
Pudlák, Pavel |
|
1997
|
A theorem about infinite-valued sentential logic. Zbl 0043.00901
McNaughton, Robert |
|
1951
|
On the interpretation of intuitionistic number theory. Zbl 0063.03260
Kleene, S. C. |
|
1945
|
On the strength of Ramsey’s theorem for pairs. Zbl 0977.03033
Cholak, Peter A.; Jockusch, Carl G.; Slaman, Theodore A. |
|
2001
|
Borel sets and Ramsey’s theorem. Zbl 0276.04003
Galvin, Fred; Prikry, Karel |
|
1973
|
Logics without the contraction rule. Zbl 0583.03018
Ono, Hiroakira; Komori, Yuichi |
|
1985
|
The completeness of the first-order functional calculus. Zbl 0034.00602
Henkin, Leon |
|
1949
|
A new proof that analytic sets are Ramsey. Zbl 0292.02054
Ellentuck, Erik |
|
1974
|
Games and full completeness for multiplicative linear logic. Zbl 0822.03007
Abramsky, Samson; Jagadeesan, Radha |
|
1994
|
On the calculus of relations. Zbl 0026.24401
Tarski, Alfred |
|
1941
|
Linear reasoning. A new form of the Herbrand-Gentzen theorem. Zbl 0081.24402
Craig, William |
|
1957
|
Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication. Zbl 0088.01601
Friedberg, Richard M. |
|
1959
|
Systems of predicative analysis. Zbl 0134.01101
Feferman, S. |
|
1964
|
Constructible falsity and inexact predicates. Zbl 0575.03016
Almukdad, Ahmad; Nelson, David |
|
1984
|
Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102
Specker, Ernst |
|
1949
|
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic. Zbl 0891.03029
Krajíček, Jan |
|
1997
|
On definable subsets of p-adic fields. Zbl 0362.02046
Macintyre, Angus J. |
|
1976
|
Trial and error predicates and the solution to a problem of Mostowski. Zbl 0193.30102
Putnam, H. |
|
1965
|
On strongly minimal sets. Zbl 0217.30402
Baldwin, J. T.; Lachlan, A. H. |
|
1971
|
The decision problem for some classes of sentences without quantifiers. Zbl 0063.03864
McKinsey, J. C. C. |
|
1943
|
A natural extension of natural deduction. Zbl 0574.03045
Schroeder-Heister, Peter |
|
1984
|
Infinite time Turing machines. Zbl 0963.03064
Hamkins, Joel David; Lewis, Andy |
|
2000
|
Reflecting on incompleteness. Zbl 0746.03046
Feferman, Solomon |
|
1991
|
Gödel numberings of partial recursive functions. Zbl 0088.01602
Rogers, Hartley jun. |
|
1959
|
One hundred and two problems in mathematical logic. Zbl 0318.02002
Friedman, Harvey |
|
1975
|
Solution of a problem of Leon Henkin. Zbl 0067.00202
Löb, M. H. |
|
1955
|
Existence and feasibility in arithmetic. Zbl 0243.02037
Parikh, Rohit |
|
1971
|
Saturated ideals. Zbl 0395.03031
Kunen, Kenneth |
|
1978
|
Limiting recursion. Zbl 0203.01201
Gold, E. M. |
|
1965
|
Natural 3-valued logics – characterization and proof theory. Zbl 0745.03017
Avron, Arnon |
|
1991
|
On the restraining power of guards. Zbl 0958.03027
Grädel, Erich |
|
1999
|
Unification in intuitionistic logic. Zbl 0930.03009
Ghilardi, Silvio |
|
1999
|
Constructive set theory. Zbl 0314.02045
Myhill, John |
|
1975
|
On an interpretation of second order quantification in first order intuitionistic propositional logic. Zbl 0763.03009
Pitts, Andrew M. |
|
1992
|
The determinacy of Blackwell games. Zbl 0926.03071
Martin, Donald A. |
|
1998
|
Algebraic semantics for modal logics. I, II. Zbl 0147.24805
Lemmon, E. J. |
|
1966
|
Semantics for relevant logics. Zbl 0245.02028
Urquhart, Alasdair |
|
1972
|
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Zbl 0575.03015
Takeuti, Gaisi; Titani, Satoko |
|
1984
|
Ramsey’s theorem and recursion theory. Zbl 0262.02042
Jockusch, Carl G. jun. |
|
1972
|
Contraction-free sequent calculi for intuitionistic logic. Zbl 0761.03004
Dyckhoff, Roy |
|
1992
|
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco |
|
2007
|
Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024
Dunn, J. Michael |
|
1970
|
On the admissible rules of intuitionistic propositional logic. Zbl 0986.03013
Iemhoff, Rosalie |
|
2001
|
Combinatorial principles weaker than Ramsey’s theorem for pairs. Zbl 1118.03055
Hirschfeldt, Denis R.; Shore, Richard A. |
|
2007
|
On sentences which are true of direct unions of algebras. Zbl 0043.24801
Horn, Alfred |
|
1951
|
Every analytic set is Ramsey. Zbl 0216.01304
Silver, J. |
|
1970
|
Elementary embedding and infinitary combinatorics. Zbl 0272.02087
Kunen, Kenneth |
|
1971
|
Degrees coded in jumps of orderings. Zbl 0633.03038
Knight, Julia F. |
|
1986
|
Von Mises’ definition of random sequences reconsidered. Zbl 0628.60001
van Lambalgen, Michiel |
|
1987
|
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701
Kreisel, Georg |
|
1952
|
Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402
Feferman, S. |
|
1963
|
Some undecidable problems involving elementary functions of a real variable. Zbl 0175.27404
Richardson, D. |
|
1968
|
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra |
|
2005
|
A logical analysis of some value concepts. Zbl 0943.03599
Fitch, Frederic B. |
|
1964
|
Concatenation as a basis for arithmetic. Zbl 0063.06362
Quine, Willard Van Orman |
|
1946
|
Weihrauch degrees, omniscience principles and weak computability. Zbl 1222.03071
Brattka, Vasco; Gherardi, Guido |
|
2011
|
Propositional proof systems, the consistency of first order theories and the complexity of computations. Zbl 0696.03029
Krajíček, Jan; Pudlák, Pavel |
|
1989
|
Recursive well-orderings. Zbl 0067.00303
Spector, Clifford |
|
1955
|
Randomness, relativization and Turing degrees. Zbl 1090.03013
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. |
|
2005
|
On the interpretation of non-finitist proofs. I. Zbl 0044.00302
Kreisel, Georg |
|
1951
|
Reflecting stationary sets. Zbl 0506.03014
Magidor, Menachem |
|
1982
|
Provability of the pigeonhole principle and the existence of infinitely many primes. Zbl 0688.03042
Paris, J. B.; Wilkie, A. J.; Woods, A. R. |
|
1988
|
Hybrid logics: Characterization, interpolation and complexity. Zbl 0984.03018
Areces, Carlos; Blackburn, Patrick; Marx, Maarten |
|
2001
|
Polynomial size proofs of the propositional pigeonhole principle. Zbl 0636.03053
Buss, Samuel R. |
|
1987
|
Analytic determinacy and \(O^\#\). Zbl 0398.03039
Harrington, Leo |
|
1978
|
Models without indiscernibles. Zbl 0391.03027
Abramson, Fred G.; Harrington, Leo A. |
|
1978
|
Resolution in type theory. Zbl 0231.02038
Andrews, Peter B. |
|
1971
|
A constructive analysis of RM. Zbl 0639.03017
Avron, Arnon |
|
1987
|
Fibered categories and the foundations of naive category theory. Zbl 0564.18001
Bénabou, Jean |
|
1985
|
Kernel contraction. Zbl 0810.03017
Hansson, Sven Ove |
|
1994
|
Cuts, consistency statements and interpretations. Zbl 0569.03024
Pudlák, Pavel |
|
1985
|
Toward useful type-free theories. I. Zbl 0574.03043
Feferman, Solomon |
|
1984
|
On notation for ordinal numbers. JFM 64.0932.03
Kleene, S. C. |
|
1938
|
Logic with truth values in a linearly ordered Heyting algebra. Zbl 0181.29904
Horn, A. |
|
1969
|
Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. Zbl 0144.24501
Elgot, Calvin C.; Rabin, Michael O. |
|
1966
|
The undecidability of entailment and relevant implication. Zbl 0581.03011
Urquhart, Alasdair |
|
1984
|
Degrees of structures. Zbl 0512.03024
Richter, Linda Jean |
|
1981
|
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044
Abrusci, V. Michele |
|
1991
|
Probabilities over rich languages, testing and randomness. Zbl 0501.60006
Gaifman, Haim; Snir, Marc |
|
1982
|
The simplest low linear order with no computable copies. Zbl 07827881
Frolov, Andrey; Zubkov, Maxim |
|
2024
|
(Extra)ordinary equivalences with the ascending/descending sequence principle. Zbl 07827890
Fiori-Carones, Marta; Marcone, Alberto; Shafer, Paul; Soldà, Giovanni |
|
2024
|
Locally o-minimal structures with tame topological properties. Zbl 1518.03006
Fujita, Masato |
|
2023
|
On restrictions of ultrafilters from generic extensions to ground models. Zbl 07657279
Gitik, Moti; Kaplan, Eyal |
|
2023
|
Knaster and friends. III: Subadditive colorings. Zbl 1535.03247
Lambie-Hanson, Chris; Rinot, Assaf |
|
2023
|
Model theory and proof theory of the global reflection principle. Zbl 1537.03044
Łełyk, Mateusz Zbigniew |
|
2023
|
The weak Vopěnka principle for definable classes of structures. Zbl 07657278
Bagaria, Joan; Wilson, Trevor M. |
|
2023
|
Some stable non-elementary classes of modules. Zbl 07657276
Mazari-Armida, Marcos |
|
2023
|
On groups with definable \(f\)-generics definable in \(p\)-adically closed fields. Zbl 07781904
Pillay, Anand; Yao, Ningyuan |
|
2023
|
The strength of an axiom of finite choice for branches in trees. Zbl 07781906
Goh, Jun Le |
|
2023
|
Transitivity, lowness, and ranks in NSOP\(_1\) theories. Zbl 07735941
Chernikov, Artem; Kim, Byunghan; Ramsey, Nicholas |
|
2023
|
Bohr compactifications of groups and rings. Zbl 07735947
Gismatullin, Jakub; Jagiella, Grzegorz; Krupiński, Krzysztof |
|
2023
|
The discontinuity problem. Zbl 07735950
Brattka, Vasco |
|
2023
|
The diagonal strong reflection principle and its fragments. Zbl 07735953
Cox, Sean D.; Fuchs, Gunter |
|
2023
|
Elimination of imaginaries in ordered abelian groups with bounded regular rank. Zbl 07781917
Vicaría, Mariana |
|
2023
|
Complete logics for elementary team properties. Zbl 07691753
Kontinen, Juha; Yang, Fan |
|
2023
|
How strong is Ramsey’s theorem if infinity can be weak? Zbl 07691754
Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.; Yokoyama, Keita |
|
2023
|
Trees and stationary reflection at double successors of regular cardinals. Zbl 07691760
Gilton, Thomas; Levine, Maxwell; Stejskalová, Šárka |
|
2023
|
Cellular categories and stable independence. Zbl 1514.18006
Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien |
|
2023
|
Ideal operators and higher indescribability. Zbl 07691762
Cody, Brent; Holy, Peter |
|
2023
|
On sequences of homomorphisms into measure algebras and the Efimov problem. Zbl 1528.28005
Borodulin-Nadzieja, Piotr; Sobota, Damian |
|
2023
|
Models of Martin-Löf type theory from algebraic weak factorisation systems. Zbl 1527.18004
Gambino, Nicola; Larrea, Marco Federico |
|
2023
|
More on the preservation of large cardinals under class forcing. Zbl 07657283
Bagaria, Joan; Poveda, Alejandro |
|
2023
|
The poset of all logics. II: Leibniz classes and hierarchy. Zbl 1542.03082
Jansana, R.; Moraschini, T. |
|
2023
|
Most(?) theories have Borel complete reducts. Zbl 1542.03051
Laskowski, Michael C.; Ulrich, Douglas S. |
|
2023
|
Finitist axiomatic truth. Zbl 07657274
Kentaro, Sato; Walker, Jan |
|
2023
|
Higher dimensional cardinal characteristics for sets of functions. II. Zbl 07781908
Brendle, Jörg; Switzer, Corey Bacal |
|
2023
|
Conservation theorems on semi-classical arithmetic. Zbl 07781910
Fujiwara, Makoto; Kurahashi, Taishi |
|
2023
|
On cohesive powers of linear orders. Zbl 07735942
Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrey; Shafer, Paul; Soskova, Alexandra A.; Vatev, Stefan V. |
|
2023
|
The embedding property for sorted profinite groups. Zbl 1531.81109
Lee, Junguk |
|
2023
|
Definability of Henselian valuations by conditions on the value group. Zbl 07735945
Krapp, Lothar Sebastian; Kuhlmann, Salma; Link, Moritz |
|
2023
|
Expanding the reals by continuous functions adds no computational power. Zbl 07735946
Andrews, Uri; Knight, Julia F.; Kuyper, Rutger; Miller, Joseph S.; Soskova, Mariya I. |
|
2023
|
Model theory of derivations of the Frobenius map revisited. Zbl 1537.03042
Gogolok, Jakub |
|
2023
|
Addendum to: “The automorphism group of the Fraïssé limit of finite Heyting algebras”. Zbl 07735955
Yamamoto, Kentarô |
|
2023
|
Continuous logic and Borel equivalence relations. Zbl 1540.03091
Hallbäck, Andreas; Malicki, Maciej; Tsankov, Todor |
|
2023
|
Metrics for formal structures, with an application to Kripke models and their dynamics. Zbl 07691748
Klein, Dominik; Rendsvig, Rasmus K. |
|
2023
|
Computable reducibility of equivalence relations and an effective jump operator. Zbl 07691751
Clemens, John D.; Coskey, Samuel; Krakoff, Gianni |
|
2023
|
Almost theorems of hyperarithmetic analysis. Zbl 1525.03056
Shore, Richard A. |
|
2023
|
A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. Zbl 1510.03023
Nemoto, Takako; Kentaro, Sato |
|
2022
|
Applications of pcf theory to the study of ideals on \(P_{\kappa}(\lambda)\). Zbl 1523.03020
Matet, Pierre |
|
2022
|
On non-compact \(p\)-adic definable groups. Zbl 1512.03057
Johnson, Will; Yao, Ningyuan |
|
2022
|
On the uncountability of \(\mathbb{R}\). Zbl 1523.03004
Normann, Dag; Sanders, Sam |
|
2022
|
A Q-wadge hierarchy in quasi-Polish spaces. Zbl 07541920
Selivanov, Victor |
|
2022
|
Forcing constructions and countable Borel equivalence relations. Zbl 1526.03005
Gao, Su; Jackson, Steve; Krohne, Edward; Seward, Brandon |
|
2022
|
Mutual interpretability of weak essentially undecidable theories. Zbl 07620694
Damnjanovic, Zlatan |
|
2022
|
Higher independence. Zbl 07620701
Fischer, Vera; Montoya, Diana Carolina |
|
2022
|
Ways of destruction. Zbl 1536.03021
Farkas, Barnabás; Zdomskyy, Lyubomyr |
|
2022
|
The tree of tuples of a structure. Zbl 1504.03024
Harrison-Trainor, Matthew; Montalbán, Antonio |
|
2022
|
Density-like and generalized density ideals. Zbl 07506777
Kwela, Adam; Leonetti, Paolo |
|
2022
|
Non-classical foundations of set theory. Zbl 07506781
Tarafder, Sourav |
|
2022
|
Closed and unbounded classes and the Härtig quantifier model. Zbl 1510.03020
Welch, Philip D. |
|
2022
|
Identity crisis between supercompactness and Vǒpenka’s principle. Zbl 07541916
Hayut, Yair; Magidor, Menachem; Poveda, Alejandro |
|
2022
|
The \(\Sigma_1\)-definable universal finite sequence. Zbl 1542.03054
Hamkins, Joel David; Williams, Kameryn J. |
|
2022
|
Interpreting a field in its Heisenberg group. Zbl 1531.03075
Alvir, Rachael; Calvert, Wesley; Goodman, Grant; Harizanov, Valentina; Knight, Julia; Miller, Russell; Morozov, Andrey; Soskova, Alexandra; Weisshaar, Rose |
|
2022
|
Tree forcing and definable maximal Independent sets in hypergraphs. Zbl 07620696
Schilhan, Jonathan |
|
2022
|
Games characterizing limsup functions and Baire class \(1\) functions. Zbl 1505.54025
Elekes, Márton; Flesch, János; Kiss, Viktor; Nagy, Donát; Poór, Márk; Predtetchinski, Arkadi |
|
2022
|
On equational completeness theorems. Zbl 1542.03083
Moraschini, Tommaso |
|
2022
|
Taking Reinhardt’s power away. Zbl 07620703
Matthews, Richard |
|
2022
|
Relationships between computability-theoretic properties of problems. Zbl 1507.03067
Downey, Rod; Greenberg, Noam; Harrison-Trainor, Matthew; Patey, Ludovic; Turetsky, Dan |
|
2022
|
Ramsey-like theorems and moduli of computation. Zbl 1505.03028
Patey, Ludovic |
|
2022
|
Combinatorics of ultrafilters on Cohen and random algebras. Zbl 1510.03015
Brendle, Jörg; Parente, Francesco |
|
2022
|
Reconstruction of NON-\( \aleph_0\) -categorical theories. Zbl 07506774
Ben Yaacov, Itaï |
|
2022
|
HTP-complete rings of rational numbers. Zbl 1501.12003
Miller, Russell |
|
2022
|
Notes on the DPRM property for listable structures. Zbl 1500.11093
Pasten, Hector |
|
2022
|
Ramsey’s coheirs. Zbl 1486.05304
Colla, Eugenio; Zambella, Domenico |
|
2022
|
The consistency strength of the perfect set property for universally Baire sets of reals. Zbl 1504.03028
Schindler, Ralf; Wilson, Trevor M. |
|
2022
|
A structural dichotomy in the enumeration degrees. Zbl 1506.03097
Ganchev, Hristo A.; Kalimullin, Iskander Sh.; Miller, Joseph S.; Soskova, Mariya I. |
|
2022
|
Epsilon theorems in intermediate logics. Zbl 07541918
Baaz, Matthias; Zach, Richard |
|
2022
|
Information in propositional proofs and algorithmic proof search. Zbl 07541925
Krajíček, Jan |
|
2022
|
Erratum to: “Surreal ordered exponential fields”. Zbl 1498.03088
Ehrlich, Philip; Kaplan, Elliot |
|
2022
|
Counting siblings in universal theories. Zbl 1531.03073
Braunfeld, Samuel; Laskowski, Michael C. |
|
2022
|
Most simple extensions of \(\mathbf{FL_e}\) are undecidable. Zbl 1531.03057
Galatos, Nikolaos; St. John, Gavin |
|
2022
|
Embeddings into outer models. Zbl 1523.03021
Eskew, Monroe; Friedman, Sy-David |
|
2022
|
Undecidability and non-axiomatizability of modal many-valued logics. Zbl 07620700
Vidal, Amanda |
|
2022
|
Complete intuitionistic temporal logics for topological dynamics. Zbl 1499.03016
Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David |
|
2022
|
Descriptive complexity in Cantor series. Zbl 1531.03082
Airey, Dylan; Jackson, Steve; Mance, Bill |
|
2022
|
Yet another ideal version of the bounding number. Zbl 1504.03025
Filipów, Rafał; Kwela, Adam |
|
2022
|
Initial segments of the degrees of ceers. Zbl 1507.03096
Andrews, Uri; Sorbi, Andrea |
|
2022
|
First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth. Zbl 1518.03016
Egrot, Rob; Hirsch, Robin |
|
2022
|
Projective clone homomorphisms. Zbl 1529.03192
Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András |
|
2021
|
Reflection ranks and ordinal analysis. Zbl 1511.03018
Pakhomov, Fedor; Walsh, James |
|
2021
|
Separating diagonal stationary reflection principles. Zbl 1529.03231
Fuchs, Gunter; Lambie-Hanson, Chris |
|
2021
|
Prenex normal form theorems in semi-classical arithmetic. Zbl 1509.03160
Fujiwara, Makoto; Kurahashi, Taishi |
|
2021
|
The reverse mathematics of theorems of Jordan and Lebesgue. Zbl 07457794
Nies, André; Triplett, Marcus A.; Yokoyama, Keita |
|
2021
|
The characterization of Weihrauch reducibility in systems containing \(\mathrm{E}\text{-}\mathrm{PA}^\omega+\mathrm{QF}\text{-}\mathrm{AC}^{0,0}\). Zbl 1529.03224
Uftring, Patrick |
|
2021
|
Finding descending sequences through ill-founded linear orders. Zbl 1537.03053
Goh, Jun Le; Pauly, Arno; Valenti, Manlio |
|
2021
|
The poset of all logics. I: Interpretations and lattice structure. Zbl 1509.03177
Jansana, R.; Moraschini, T. |
|
2021
|
NS saturated and \({\Delta }_1\)-definable. Zbl 1529.03249
Hoffelner, Stefan |
|
2021
|
Aronszajn tree preservation and bounded forcing axioms. Zbl 1529.03258
Fuchs, Gunter |
|
2021
|
A predicative variant of Hyland’s effective topos. Zbl 1537.03090
Maietti, Maria Emilia; Maschio, Samuele |
|
2021
|
Forcing axioms, approachability, and stationary set reflection. Zbl 1537.03064
Cox, Sean D. |
|
2021
|
Forking, imaginaries, and other features of ACFG. Zbl 1537.03033
D’Elbée, Christian |
|
2021
|
Associativity of the Morley product of invariant measures in NIP theories. Zbl 1509.03104
Conant, Gabriel; Gannon, Kyle |
|
2021
|
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. Zbl 1509.03116
Kellerman, Ruaan; Goranko, Valentin |
|
2021
|
Maltsev conditions for general congruence meet-semidistributive algebras. Zbl 1487.08002
Olšák, Miroslav |
|
2021
|
Shortening Clopen games. Zbl 07457789
Aguilera, Juan P. |
|
2021
|
Classes of barren extensions. Zbl 1487.03056
Dobrinen, Natasha; Hathaway, Dan |
|
2021
|
Cores over Ramsey structures. Zbl 1529.03194
Mottet, Antoine; Pinsker, Michael |
|
2021
|
Inquisitive bisimulation. Zbl 1529.03144
Ciardelli, Ivano; Otto, Martin |
|
2021
|
Stably measurable cardinals. Zbl 1537.03069
Welch, Philip D. |
|
2021
|
...and 1570 more Documents |