Array-aided precise point positioning is a measurement concept that uses GNSS data, from multiple antennas in an array of known geometry, to realize improved GNSS parameter estimation proposed by Teunissen (IEEE Trans Signal Process 60:2870–2881, 2012). In this contribution, the benefits of array-aided CORS ambiguity resolution are explored. The mathematical model is formulated to show how the platform-array data can be reduced and how the variance matrix of the between-platform ambiguities can profit from the increased precision of the reduced platform data.