


default search action
Journal 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














