default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Mathematical Logic, Volume 19
Volume 19, Number 1, June 2019
- Sy-David Friedman, Victoria Gitman
, Vladimir Kanovei:
A model of second-order arithmetic satisfying AC but not DC. 1850013:1-1850013:39 - Dag Normann, Sam Sanders:
On the mathematical and foundational significance of the uncountable. 1950001:1-1950001:40 - Omer Ben-Neria:
Diamonds, compactness, and measure sequences. 1950002:1-1950002:20 - Riccardo Camerlo, Raphaël Carroy, Alberto Marcone:
Linear orders: When embeddability and epimorphism agree. 1950003:1-1950003:32 - Vasco Brattka, Stéphane Le Roux, Joseph S. Miller, Arno Pauly:
Connected choice and the Brouwer fixed point theorem. 1950004:1-1950004:46 - Uri Andrews, Isaac Goldbring, H. Jerome Keisler:
Independence in randomizations. 1950005:1-1950005:42
Volume 19, Number 2, December 2019
- Zoé Chatzidakis:
Amalgamation of types in pseudo-algebraically closed fields and applications. 1950006:1-1950006:28 - Jindrich Zapletal:
Hypergraphs and proper forcing. 1950007:1-1950007:64 - Ashutosh Kumar, Saharon Shelah:
On possible restrictions of the null ideal. 1950008:1-1950008:14 - William Chan:
Ordinal definability and combinatorics of equivalence relations. 1950009:1-1950009:24 - Libor Barto, Michael Kompatscher, Miroslav Olsák, Van Trung Pham, Michael Pinsker:
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures. 1950010:1-1950010:31 - (Withdrawn) Pseudofinite difference fields. 1950011:1-1950011:26
- Krzysztof Krupinski, Ludomir Newelski, Pierre Simon:
Boundedness and absoluteness of some dynamical invariants in model theory. 1950012:1-1950012:55
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
